OAI/RepresentationTheory/UniversalSquare/Specht/ThreeRowMasks.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Three Row Masks.

  1. structure OAI.UniversalTensorSquare.ThreeRowEntry line 17
  2. def OAI.UniversalTensorSquare.ThreeRowEntry.Valid line 25
  3. instance OAI.UniversalTensorSquare.ThreeRowEntry.(instance at line 29) line 29
  4. lemma OAI.UniversalTensorSquare.ThreeRowEntry.support line 32
  5. def OAI.UniversalTensorSquare.ThreeRowMask line 61
  6. instance OAI.UniversalTensorSquare.(instance at line 66) line 66
  7. lemma OAI.UniversalTensorSquare.threeRowMask_support line 69
  8. theorem OAI.Saxl.Balance.WordPacking.threeRows line 104