OAI/RepresentationTheory/UniversalSquare/Support/SubdiagramSupport.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Subdiagram Support.

  1. def OAI.Saxl.diagonalCut line 15
  2. lemma OAI.Saxl.mem_diagonalCut line 22
  3. lemma OAI.Saxl.diagonalCut_zero line 25
  4. lemma OAI.Saxl.diagonalCut_mono line 29
  5. lemma OAI.Saxl.diagonalCut_exhausts line 34
  6. lemma OAI.Saxl.diagonalCut_strip line 43
  7. theorem OAI.Saxl.subdiagram_stripChain line 58
  8. lemma OAI.Saxl.positionProduct_swap line 74
  9. theorem OAI.Saxl.subdiagram_product_support line 81
  10. theorem OAI.UniversalTensorSquare.candidate_subdiagram_support line 104
  11. theorem OAI.UniversalTensorSquare.candidate_kronecker_pos_of_subdiagram line 121