OAI/RepresentationTheory/UniversalSquare/Specht/ThreeRowLocal.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Three Row Local.

  1. def OAI.Saxl.ThreeRow.twos line 16
  2. def OAI.Saxl.ThreeRow.ones line 18
  3. def OAI.Saxl.ThreeRow.pairPositions line 20
  4. lemma OAI.Saxl.ThreeRow.pairPositions_left_val line 23
  5. lemma OAI.Saxl.ThreeRow.pairPositions_right_val line 26
  6. lemma OAI.Saxl.ThreeRow.sixSquare_twos line 29
  7. lemma OAI.Saxl.ThreeRow.sixSquare_one line 53
  8. lemma OAI.Saxl.ThreeRow.sixSquare_ones line 60
  9. def OAI.Saxl.ThreeRow.columns line 88
  10. def OAI.Saxl.ThreeRow.shortSplit line 90
  11. def OAI.Saxl.ThreeRow.tripleSplit line 94
  12. lemma OAI.Saxl.ThreeRow.sixSquare_columns line 98