OAI/RepresentationTheory/UniversalSquare/Support/FiniteDiagrams.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Finite Diagrams.

  1. def OAI.UniversalTensorSquare.partitionLists line 13
  2. lemma OAI.UniversalTensorSquare.mem_partitionLists line 19
  3. lemma OAI.UniversalTensorSquare.rowLens_mem_partitionLists line 54
  4. def OAI.UniversalTensorSquare.diagramOfCols line 66
  5. lemma OAI.UniversalTensorSquare.diagramOfCols_cols line 69
  6. lemma OAI.UniversalTensorSquare.diagramOfCols_card line 74
  7. lemma OAI.UniversalTensorSquare.eq_diagramOfCols line 79