OAI/RepresentationTheory/UniversalSquare/Specht/
285 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- AlternateColumns.lean 14 declarations
- CandidateColumns.lean 3 declarations
- ColumnClearance.lean 5 declarations
- ColumnReorder.lean 9 declarations
- ColumnRestriction.lean 10 declarations
- ColumnTensorSplit.lean 12 declarations
- CountedPieri.lean 8 declarations
- CyclicRestriction.lean 3 declarations
- DualPolytabloid.lean 5 declarations
- FinitePieri.lean 5 declarations
- FlagColumns.lean 12 declarations
- MarkedTriangle.lean 8 declarations
- NoMixedColumns.lean 11 declarations
- PieriInduction.lean 6 declarations
- RepeatedColumns.lean 16 declarations
- ShortColumns.lean 27 declarations
- SplitFlag.lean 6 declarations
- StandardColumns.lean 10 declarations
- ThreeRowColumns.lean 13 declarations
- ThreeRowDensity.lean 15 declarations
- ThreeRowGenerator.lean 11 declarations
- ThreeRowLocal.lean 12 declarations
- ThreeRowMasks.lean 8 declarations
- ThreeRowPieri.lean 4 declarations
- ThreeRowProjected.lean 2 declarations
- ThreeRowTensors.lean 22 declarations
- WeightedRestriction.lean 5 declarations
- YoungConverse.lean 5 declarations
- ZeroColumns.lean 18 declarations