`OAI/RepresentationTheory/YoungSymmetry/`

190 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Dimensions.lean 48 declarations
Irreducible.lean 27 declarations
Polytabloid.lean 85 declarations
ShapeBounds.lean 17 declarations
UnitaryModel.lean 13 declarations