OAI/Geometry/SingularHomology/SubdivisionSupport.lean
0 declarations, 0 contain sorry, 0 declared as axioms
This file declares nothing itself. It gathers the 5 imports below, so a file that imports it gets all of them.
Imports
- OAI.Geometry.SingularHomology.ActualSingularSubdivisionMap
- OAI.Geometry.SingularHomology.IteratedSubdivisionMesh
- OAI.Geometry.SingularHomology.SingularSubdivisionIterateRealization
- OAI.Geometry.SingularHomology.SimplexSingularCompatibility
- OAI.Geometry.SingularHomology.SingularSubdivisionEventuallySmall