OAI/Geometry/Borsuk/Simplicial/
294 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- Approximation.lean 11 declarations
- BarycenterNeg.lean 4 declarations
- BoolCubeConstant.lean 5 declarations
- CharacteristicDegree.lean 12 declarations
- Coefficients.lean 8 declarations
- CompactAdditiveLocality.lean 2 declarations
- ContigSimplexBoundary.lean 7 declarations
- CrossChainDimensionBound.lean 13 declarations
- CrossEmbedding.lean 11 declarations
- DoubleEraseSumFun.lean 11 declarations
- Equivariance.lean 10 declarations
- EventuallyFineSphereLabel.lean 6 declarations
- F2.lean 17 declarations
- FineCrossMap.lean 10 declarations
- FineCrossMapMesh.lean 4 declarations
- Flip.lean 11 declarations
- GeneralTarget.lean 10 declarations
- LabelRegion.lean 7 declarations
- LinearMapSupport.lean 8 declarations
- MapChainsEquivSimplexAll.lean 6 declarations
- Maps.lean 12 declarations
- MaxIndex.lean 10 declarations
- MemSupportSimplex.lean 4 declarations
- NormMap.lean 11 declarations
- NullHomotopyLocalModels.lean 1 declarations
- OddHomotopySurjective.lean 1 declarations
- OddSphereDimensionBoundFintype.lean 5 declarations
- Refinement.lean 8 declarations
- SignVector.lean 9 declarations
- SignedVertex.lean 23 declarations
- SimplexMemDegreeAll.lean 12 declarations
- SubdivSimplex.lean 9 declarations
- Supports.lean 7 declarations
- UnitRadial.lean 9 declarations