OAI/GroupTheory/UniversalGroup/
2118 declarations, 0 contain sorry, 0 declared as axioms; 50 files
Files
- AscendingTorus.lean 63 declarations
- Attachments.lean 54 declarations
- Benign.lean 23 declarations
- BrownConstruction.lean 70 declarations
- Cayley.lean 57 declarations
- CellRetractions.lean 34 declarations
- CellularApproximation.lean 31 declarations
- CellularAttachment.lean 53 declarations
- CellularChains.lean 22 declarations
- CellularFillings.lean 28 declarations
- CellularLifting.lean 64 declarations
- CentralHNN.lean 27 declarations
- CompactCells.lean 20 declarations
- ControlledCells.lean 25 declarations
- ControlledHomotopies.lean 12 declarations
- CoveringAttachments.lean 49 declarations
- Cylinders.lean 62 declarations
- FiniteEnvelopes.lean 47 declarations
- FiniteHNN.lean 15 declarations
- GeneralPosition.lean 47 declarations
- GraphActions.lean 30 declarations
- GraphBundles.lean 39 declarations
- HigmanEmbedding.lean 63 declarations
- HomotopyProducts.lean 48 declarations
- Idempotents.lean 32 declarations
- Main.lean 1 declarations
- MarkerMachine.lean 47 declarations
- Markers.lean 49 declarations
- MatrixDiagrams.lean 57 declarations
- Milnor.lean 38 declarations
- MilnorControl.lean 55 declarations
- MilnorProducts.lean 57 declarations
- Model.lean 1 declarations
- PathExtensions.lean 68 declarations
- RopeTrick.lean 43 declarations
- SimplexDisk.lean 23 declarations
- Simplicial.lean 54 declarations
- SimplicialProducts.lean 40 declarations
- SphereHomotopies.lean 32 declarations
- StackMachines.lean 54 declarations
- StackPrograms.lean 37 declarations
- TopologicalTowers.lean 52 declarations
- TorusBundles.lean 55 declarations
- TorusHomotopies.lean 39 declarations
- TorusSpheres.lean 37 declarations
- TowerCoverings.lean 25 declarations
- TreeGeometry.lean 86 declarations
- TuringMachines.lean 31 declarations
- UniversalPresentation.lean 111 declarations
- UniverseTransport.lean 11 declarations