OAI/Geometry/Borsuk/LocalParity/
55 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ChartRegular.lean 4 declarations
- LocalModel.lean 7 declarations
- LocalRegular.lean 3 declarations
- MatrixParity.lean 1 declarations
- NoFreeRidge.lean 2 declarations
- RegularBase.lean 8 declarations
- RegularModel.lean 1 declarations
- RegularPatch.lean 6 declarations
- Sard.lean 2 declarations
- SphereBlock.lean 14 declarations
- SphereNullPatch.lean 1 declarations
- SphereParity.lean 5 declarations
- TraceLocalModels.lean 1 declarations