OAI/RepresentationTheory/UniversalSquare/Band/BandSeeds.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Band Seeds.

  1. lemma OAI.UniversalTensorSquare.candidateSeparatedRow_extra line 16
  2. def OAI.UniversalTensorSquare.candidateComplementRowShuffle line 26
  3. lemma OAI.UniversalTensorSquare.candidateComplementRowShuffle_val line 32
  4. def OAI.UniversalTensorSquare.candidateBandRowShuffle line 37
  5. lemma OAI.UniversalTensorSquare.candidateBandRowShuffle_cell line 47
  6. def OAI.UniversalTensorSquare.candidateBandRowSeed line 55
  7. lemma OAI.UniversalTensorSquare.candidateBandRowSeed_val line 61
  8. lemma OAI.UniversalTensorSquare.candidateBandRowSeed_extra line 69
  9. theorem OAI.UniversalTensorSquare.candidateBandRow_project_extra line 76
  10. def OAI.UniversalTensorSquare.candidateColShuffle line 87
  11. lemma OAI.UniversalTensorSquare.candidateColShuffle_triangle line 92
  12. def OAI.UniversalTensorSquare.candidateComplementColShuffle line 102
  13. def OAI.UniversalTensorSquare.candidateBandColShuffle line 108
  14. lemma OAI.UniversalTensorSquare.candidateBandColShuffle_cell line 118
  15. def OAI.UniversalTensorSquare.candidateBandColSeed line 126
  16. lemma OAI.UniversalTensorSquare.candidateBandColSeed_val line 132
  17. lemma OAI.UniversalTensorSquare.candidateBandColSeed_extra line 142
  18. theorem OAI.UniversalTensorSquare.candidateBandCol_project_extra line 152