OAI/RepresentationTheory/UniversalSquare/Specht/MarkedTriangle.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Marked Triangle.

  1. def OAI.UniversalTensorSquare.candidateMark line 17
  2. def OAI.UniversalTensorSquare.markedRowEquiv line 20
  3. def OAI.UniversalTensorSquare.markedColEquiv line 59
  4. theorem OAI.UniversalTensorSquare.candidate_marked_rigidity line 98
  5. def OAI.Saxl.sameMarkProjection line 158
  6. def OAI.UniversalTensorSquare.candidateTriangle line 180
  7. theorem OAI.UniversalTensorSquare.candidate_projected_marked_positions line 183
  8. theorem OAI.UniversalTensorSquare.candidate_projected_sector line 224