OAI/RepresentationTheory/UniversalSquare/Band/BandPositions.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Band Positions.

  1. lemma OAI.UniversalTensorSquare.candidateBandTableau_injective line 15
  2. lemma OAI.UniversalTensorSquare.candidateBandTableau_surjective line 21
  3. abbrev OAI.UniversalTensorSquare.candidateComplement line 35
  4. def OAI.UniversalTensorSquare.candidateComplementEquiv line 38
  5. def OAI.UniversalTensorSquare.candidateNECell line 46
  6. lemma OAI.UniversalTensorSquare.candidateNECell_mem line 49
  7. lemma OAI.UniversalTensorSquare.candidateNECell_injective line 56
  8. lemma OAI.UniversalTensorSquare.candidateNECell_surjective line 67
  9. abbrev OAI.UniversalTensorSquare.CandidateBandParts line 80
  10. def OAI.UniversalTensorSquare.candidatePartsCell line 83
  11. lemma OAI.UniversalTensorSquare.candidatePartsCell_injective line 100
  12. lemma OAI.UniversalTensorSquare.candidatePartsCell_surjective line 134
  13. def OAI.UniversalTensorSquare.candidateBandPartsEquiv line 145