OAI/RepresentationTheory/Young/
166 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Classification.lean 84 declarations
- Entropy.lean 33 declarations
- Restriction.lean 49 declarations
OAI/RepresentationTheory/Young/166 declarations, 0 contain sorry, 0 declared as axioms; 3 files