OAI/Geometry/IsometricImmersion/Obstructions/
31 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- BoundedClassNowhereDense.lean 1 declarations
- BoundedClassTopology.lean 3 declarations
- DiskBoundaryObstruction.lean 3 declarations
- LocalAdmissibility.lean 3 declarations
- PatchAdmissibility.lean 3 declarations
- PatchAdmissibilityRestriction.lean 2 declarations
- PatchObstructionSet.lean 5 declarations
- PatchResidualTheorem.lean 4 declarations
- SmallPatchObstruction.lean 3 declarations
- UniversalPatchSelection.lean 4 declarations