OAI/Geometry/Borsuk/SphereGeometry/
77 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- HemisphereChart.lean 12 declarations
- HomogeneousLift.lean 13 declarations
- IntegralLift.lean 11 declarations
- NormSphere.lean 2 declarations
- OddSphereMap.lean 7 declarations
- SphereExtension.lean 5 declarations
- SphereMeasure.lean 9 declarations
- SphereMoments.lean 5 declarations
- TraceSphere.lean 13 declarations