OAI/Combinatorics/PolynomialVacuum/Algebra/BaseGrading.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_homogeneous_0 line 7
  2. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_homogeneous_1 line 14
  3. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_homogeneous_2 line 21
  4. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_homogeneous line 28
  5. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_charge line 41
  6. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_0 line 46
  7. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_1 line 72
  8. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_2 line 89
  9. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_3 line 106
  10. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_4 line 123
  11. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_5 line 140
  12. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_homogeneous_6 line 157
  13. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_homogeneous line 174
  14. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_charge line 205