OAI/Analysis/Quantum/PPTSquare/InfinityMinors.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.PencilAlgebra.pencil_infinity line 10
  2. lemma OAI.PencilAlgebra.minor_infinity0 line 21
  3. lemma OAI.PencilAlgebra.minor_infinity1 line 29
  4. lemma OAI.PencilAlgebra.minor_infinity2 line 37
  5. lemma OAI.PencilAlgebra.minor_infinity3 line 45
  6. lemma OAI.PencilAlgebra.minor_infinity4 line 53
  7. lemma OAI.PencilAlgebra.minor_infinity5 line 61
  8. lemma OAI.PencilAlgebra.minor_infinity6 line 69
  9. lemma OAI.PencilAlgebra.minor_infinity7 line 77
  10. lemma OAI.PencilAlgebra.minor_infinity8 line 85
  11. lemma OAI.PencilAlgebra.minor_infinity9 line 93
  12. lemma OAI.PencilAlgebra.minor_infinity10 line 101
  13. lemma OAI.PencilAlgebra.minor_infinity11 line 109
  14. lemma OAI.PencilAlgebra.minor_infinity12 line 117
  15. lemma OAI.PencilAlgebra.minor_infinity13 line 125
  16. lemma OAI.PencilAlgebra.minor_infinity14 line 133
  17. lemma OAI.PencilAlgebra.minors_infinity line 141