OAI/RepresentationTheory/UniversalSquare/Specht/ThreeRowGenerator.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Three Row Generator.

  1. def OAI.Saxl.ThreeRow.sixPairForm line 14
  2. def OAI.Saxl.ThreeRow.tripleColors line 18
  3. def OAI.Saxl.ThreeRow.symmetricTriple line 20
  4. def OAI.Saxl.ThreeRow.generator line 23
  5. def OAI.Saxl.ThreeRow.densityMap line 28
  6. lemma OAI.Saxl.ThreeRow.densityMap_triple line 33
  7. lemma OAI.Saxl.ThreeRow.densityMap_form line 37
  8. lemma OAI.Saxl.ThreeRow.densityMap_symmetricTriple line 44
  9. lemma OAI.Saxl.ThreeRow.generator_image line 58
  10. theorem OAI.Saxl.ThreeRow.generator_support_of_colorTensor line 73
  11. theorem OAI.Saxl.ThreeRow.generator_support line 96