OAI/Geometry/CylinderCovering/Cartesian/
64 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- Caps.lean 21 declarations
- CapsDefinitions.lean 5 declarations
- Cover.lean 1 declarations
- CoverDefinitions.lean 2 declarations
- CoverEligibility.lean 2 declarations
- Domain.lean 18 declarations
- DomainDefinitions.lean 3 declarations
- Full.lean 2 declarations
- FullDefinitions.lean 3 declarations
- General.lean 4 declarations
- GeneralDefinitions.lean 1 declarations
- Statement.lean 1 declarations
- StatementDefinitions.lean 1 declarations