`OAI/RepresentationTheory/UniversalSquare/`

59426 declarations, 0 contain sorry, 0 declared as axioms; 538 files

Folders

Balance/ 26 files, 180 declarations
Band/ 23 files, 248 declarations
Capacity/ 8 files, 92 declarations
Contraction/ 22 files, 229 declarations
Finite/ 270 files, 13844 declarations
Semigroup/ 115 files, 44048 declarations
Specht/ 29 files, 285 declarations
Support/ 44 files, 496 declarations

Files

Main.lean 4 declarations