OAI/Geometry/CAT0Fillings/Reconstruction/
138 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- AtomCarrier.lean 2 declarations
- AtomGraphs.lean 26 declarations
- BorelAtoms.lean 7 declarations
- GraphAssembly.lean 12 declarations
- GraphCharts.lean 7 declarations
- Identification.lean 3 declarations
- JointCharts.lean 5 declarations
- LipschitzPieces.lean 8 declarations
- Localization.lean 9 declarations
- ScalarCharts.lean 15 declarations
- ScalarKernel.lean 21 declarations
- Slices.lean 16 declarations
- Uniqueness.lean 7 declarations