OAI/RepresentationTheory/UniversalSquare/Specht/AlternateColumns.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Alternate Columns.

  1. def OAI.Saxl.ceilRows line 14
  2. lemma OAI.Saxl.mem_ceilRows line 24
  3. lemma OAI.Saxl.ceilRows_rowLen line 30
  4. lemma OAI.Saxl.ceilRows_height line 40
  5. lemma OAI.Saxl.halfRows_le_ceilRows line 50
  6. def OAI.Saxl.alternateCells line 55
  7. lemma OAI.Saxl.alternateCells_card line 97
  8. def OAI.Saxl.alternateTableau line 101
  9. lemma OAI.Saxl.alternateTableau_left line 105
  10. lemma OAI.Saxl.alternateTableau_right line 110
  11. lemma OAI.Saxl.alternateTableau_group_sector line 115
  12. lemma OAI.Saxl.alternateTableau_factor line 132
  13. lemma OAI.Saxl.alternateRows_difference line 173
  14. lemma OAI.Saxl.alternateRows_strip line 194