OAI/GroupTheory/ArtinCAT0/
1049 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- Braids.lean 56 declarations
- Cap.lean 49 declarations
- Centralizer.lean 15 declarations
- Detour.lean 30 declarations
- Embeddings.lean 131 declarations
- Folding.lean 105 declarations
- Grid.lean 49 declarations
- Main.lean 5 declarations
- Mirrors.lean 29 declarations
- Model.lean 13 declarations
- Pairing.lean 17 declarations
- Presentation.lean 51 declarations
- Refinement.lean 52 declarations
- SectorCharts.lean 50 declarations
- SectorMetric.lean 49 declarations
- StableLength.lean 56 declarations
- TriangleMesh.lean 32 declarations
- Winding.lean 90 declarations
- Wires.lean 32 declarations
- WordDiagram.lean 138 declarations