OAI/Geometry/Borsuk/Support/
134 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- ActiveChambers.lean 10 declarations
- AllPairs.lean 9 declarations
- BalancedChart.lean 3 declarations
- ChamberPath.lean 10 declarations
- Chambers.lean 11 declarations
- DisjointChambers.lean 10 declarations
- FacetTangent.lean 5 declarations
- FullSupport.lean 6 declarations
- LocalMix.lean 9 declarations
- MixedHits.lean 3 declarations
- MixedHomotopy.lean 7 declarations
- NegativeFibre.lean 7 declarations
- Purity.lean 6 declarations
- PurityChart.lean 5 declarations
- PurityGeometry.lean 10 declarations
- SixFaces.lean 6 declarations
- SpectralSupport.lean 9 declarations
- SupportIncidence.lean 8 declarations