OAI/Analysis/Quantum/PPTSquare/AlgebraData.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PencilAlgebra.lowExp line 13
  2. def OAI.PencilAlgebra.highExp line 15
  3. def OAI.PencilAlgebra.rows line 17
  4. def OAI.PencilAlgebra.denominator line 19
  5. def OAI.PencilAlgebra.D line 20
  6. def OAI.PencilAlgebra.H line 36
  7. def OAI.PencilAlgebra.HinvNum line 52
  8. def OAI.PencilAlgebra.CNum line 68
  9. def OAI.PencilAlgebra.N0Num line 84
  10. def OAI.PencilAlgebra.N1Num line 105
  11. def OAI.PencilAlgebra.N2Num line 126
  12. def OAI.PencilAlgebra.v line 148
  13. def OAI.PencilAlgebra.w line 150