`FormalConjecturesForMathlib/Geometry/`

72 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Folders

Group/ 3 files, 24 declarations
Manifold/ 1 files, 5 declarations

Files

2d.lean 32 declarations
3d.lean 2 declarations
Euclidean.lean 0 declarations
Metric.lean 9 declarations