Metamath Proof Explorer


Table of Contents - 15.4. Geometry in Hilbert spaces

  1. cttg
  2. df-ttg
  3. ttgval
  4. ttgvalOLD
  5. ttglem
  6. ttglemOLD
  7. ttgbas
  8. ttgbasOLD
  9. ttgplusg
  10. ttgplusgOLD
  11. ttgsub
  12. ttgvsca
  13. ttgvscaOLD
  14. ttgds
  15. ttgdsOLD
  16. ttgitvval
  17. ttgelitv
  18. ttgbtwnid
  19. ttgcontlem1
  20. xmstrkgc
  21. Geometry in the complex plane
    1. cchhllem
    2. cchhllemOLD
  22. Geometry in Euclidean spaces
    1. Definition of the Euclidean space
    2. Tarski's axioms for geometry for the Euclidean space
    3. EE^n fulfills Tarski's Axioms