`OAI/Topology/ArtinGroups/`

5547 declarations, 0 contain sorry, 0 declared as axioms; 881 files

Folders

Cancellation/ 10 files, 108 declarations
Complexes/ 200 files, 1040 declarations
Coxeter/ 31 files, 205 declarations
Diagrams/ 7 files, 52 declarations
Functors/ 46 files, 311 declarations
Geometry/ 37 files, 240 declarations
Harmonic/ 217 files, 1430 declarations
ParabolicIntersections/ 221 files, 1130 declarations
Quivers/ 42 files, 468 declarations
Realizations/ 67 files, 545 declarations

Files

DeligneDefinitions.lean 4 declarations
Main.lean 1 declarations
Model.lean 13 declarations