OAI/CategoryTheory/Thomason/Chains/
278 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- AcceptedComplexes.lean 13 declarations
- BarycentricSupportPositive.lean 2 declarations
- DirectedComplex.lean 16 declarations
- FinalPositiveSimplexSupport.lean 71 declarations
- FiniteChainMesh.lean 45 declarations
- HornChainRetraction.lean 12 declarations
- NerveFaceChains.lean 33 declarations
- NormalizedCubicalLifting.lean 2 declarations
- NormalizedTuples.lean 26 declarations
- SimplexBasisHeight.lean 34 declarations
- SimplexChainHeight.lean 24 declarations