OAI/Probability/BinarySweep/YoungTheory/
396 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- CoindFibers.lean 18 declarations
- CoinductionTools.lean 17 declarations
- CutBranching.lean 21 declarations
- CutColumns.lean 7 declarations
- CutTensor.lean 19 declarations
- GenericHookAux.lean 3 declarations
- HookCut.lean 31 declarations
- HookHilbertOccurrence.lean 6 declarations
- HookInducedMoment.lean 14 declarations
- HookScalar.lean 7 declarations
- HookWord.lean 21 declarations
- KoszulBlocks.lean 8 declarations
- PhysicalHookInduced.lean 5 declarations
- YoungAnti.lean 24 declarations
- YoungClassification.lean 2 declarations
- YoungDimensionLower.lean 4 declarations
- YoungDominance.lean 16 declarations
- YoungFactor.lean 22 declarations
- YoungFinite.lean 5 declarations
- YoungHilbert.lean 24 declarations
- YoungInducedMap.lean 12 declarations
- YoungPartition.lean 8 declarations
- YoungPlacement.lean 25 declarations
- YoungResolution.lean 16 declarations
- YoungSpecht.lean 28 declarations
- YoungTabloid.lean 17 declarations
- YoungTranspose.lean 16 declarations