OAI/RepresentationTheory/UniversalSquare/Support/ResidualTrees.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Residual Trees.

  1. inductive OAI.UniversalTensorSquare.RowTree line 15
  2. def OAI.UniversalTensorSquare.RowTree.find line 22
  3. def OAI.UniversalTensorSquare.RowTree.All line 27
  4. lemma OAI.UniversalTensorSquare.RowTree.find_sound line 31
  5. def OAI.UniversalTensorSquare.TreeResidual line 45
  6. instance OAI.UniversalTensorSquare.(instance at line 47) line 47
  7. lemma OAI.UniversalTensorSquare.treeResidual_sound line 51
  8. lemma OAI.UniversalTensorSquare.rowDiagram_candidate line 67