OAI/RepresentationTheory/UniversalSquare/Specht/ThreeRowColumns.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Three Row Columns.

  1. def OAI.Saxl.ThreeRow.pairCoords line 16
  2. def OAI.Saxl.ThreeRow.pairLetters line 18
  3. lemma OAI.Saxl.ThreeRow.pairLetters_output line 20
  4. lemma OAI.Saxl.ThreeRow.restrict_square line 23
  5. lemma OAI.Saxl.ThreeRow.restrict_projected line 38
  6. lemma OAI.Saxl.ThreeRow.perm_three_sum line 46
  7. lemma OAI.Saxl.ThreeRow.symmetricTriple_expansion line 58
  8. def OAI.Saxl.ThreeRow.sixSquare line 70
  9. lemma OAI.Saxl.ThreeRow.sixSquare_apply line 73
  10. lemma OAI.Saxl.ThreeRow.sixSquare_product line 78
  11. lemma OAI.Saxl.ThreeRow.sixSquare_pair line 85
  12. lemma OAI.Saxl.ThreeRow.word_three_eq_iff line 93
  13. lemma OAI.Saxl.ThreeRow.sixSquare_triple line 101