OAI/RepresentationTheory/UniversalSquare/Support/CandidateShuffle.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Candidate Shuffle.

  1. def OAI.UniversalTensorSquare.candidateFirstRowSwap line 16
  2. def OAI.UniversalTensorSquare.candidateRowShuffle line 49
  3. lemma OAI.UniversalTensorSquare.candidateRowShuffle_row line 54
  4. lemma OAI.UniversalTensorSquare.candidateRowShuffle_triangle line 57
  5. def OAI.UniversalTensorSquare.candidateSeparatedRow line 68
  6. lemma OAI.UniversalTensorSquare.candidateSeparatedRow_row line 72
  7. lemma OAI.UniversalTensorSquare.candidateSeparatedRow_mark line 75
  8. lemma OAI.UniversalTensorSquare.candidateRotateRow_col line 81
  9. lemma OAI.UniversalTensorSquare.candidateRowShuffle_col line 90
  10. lemma OAI.UniversalTensorSquare.separatedFirstRowNumber line 100
  11. lemma OAI.UniversalTensorSquare.candidateSeparatedRow_band line 152