OAI/Topology/EilenbergGanea/
2396 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- AffineTransport.lean 55 declarations
- CliqueCohomology.lean 19 declarations
- CubicalCover.lean 75 declarations
- Dimension.lean 11 declarations
- IntegralDegree.lean 43 declarations
- IntegralModules.lean 28 declarations
- LevelBasis.lean 92 declarations
- LevelTransport.lean 58 declarations
- Main.lean 2 declarations
- Model.lean 5 declarations
- PresentationAlignment.lean 72 declarations
- PresentationComparison.lean 61 declarations
- Regularization.lean 63 declarations
- Seed.lean 28 declarations
- SeedChains.lean 586 declarations
- SeedConnection.lean 40 declarations
- SeedContraction.lean 937 declarations
- SeedHolonomy.lean 26 declarations
- SmallHolonomy.lean 77 declarations
- UnitaryWords.lean 97 declarations
- WordEquations.lean 21 declarations