OAI/GroupTheory/RightAngledArtin/
287 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Basic.lean 17 declarations
- CubeDescents.lean 26 declarations
- ResidualFiniteness.lean 56 declarations
- TraceWords.lean 188 declarations