Metamath Proof Explorer

Table of Contents - 21.3.28. Elementary Geometry

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