OAI/RepresentationTheory/UniversalSquare/Band/BandGroups.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Band Groups.

  1. def OAI.UniversalTensorSquare.candidatePartsSwap line 15
  2. lemma OAI.UniversalTensorSquare.candidatePartsCell_swap line 20
  3. lemma OAI.UniversalTensorSquare.candidateParts_col_sectors line 28
  4. lemma OAI.UniversalTensorSquare.candidateBandCol_sector_eq line 42
  5. lemma OAI.UniversalTensorSquare.candidateBand_extra_sector line 72
  6. lemma OAI.UniversalTensorSquare.candidateBandRow_NE_group line 111
  7. lemma OAI.UniversalTensorSquare.candidateBandRow_SW_group line 119
  8. lemma OAI.UniversalTensorSquare.candidateBandCol_NE_group line 130
  9. lemma OAI.UniversalTensorSquare.candidateBandCol_SW_group line 141