OAI/RepresentationTheory/PartialPermutation/StandardTableaux.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PartialPermutation.Tableau.StandardFilling line 12
  2. instance OAI.PartialPermutation.Tableau.(instance at line 15) line 15
  3. def OAI.PartialPermutation.Tableau.standardCount line 21
  4. def OAI.PartialPermutation.Tableau.maxLine line 24
  5. def OAI.PartialPermutation.Tableau.deficit line 25
  6. def OAI.PartialPermutation.Tableau.chosenFilling line 27
  7. lemma OAI.PartialPermutation.Tableau.standardCount_pos line 45