Metamath Proof Explorer

Table of Contents - 20.3.27. Elementary Geometry

1. Two-dimensional geometry
   1. cstrkg2d
   2. df-trkg2d
   3. istrkg2d
   4. axtglowdim2ALTV
   5. axtgupdim2ALTV
2. Morley's Miracle
3. Outer Five Segment (not used, no need to move to main)
   1. cafs
   2. df-afs
   3. afsval
   4. brafs
   5. tg5segofs