Project
•
Overview
• 520
real metric/Dreiecks-Ungl
Bernoulli/ordered field
real numbers/Dedekind cut
order completion
Gelfand-Mazur
complex numbers
quaternions
octonions
C 1-flat metric
R 1-flat abs-Betrag