WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Non-Euclidean geometry

Revision #1428 → #1770 · back to history

addedRiemannian metric family on the unit ball9bcf8e946c98
addedCayley–Klein metric879d2a7be360
addedModulus equals squared Euclidean distancee9d425796c79