OAI/Combinatorics/PolynomialVacuum/Algebra/BasePolynomials.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.basePolyTwo line 11
  2. def OAI.PolynomialVacuumAlgebra.basePolyThreeFactor line 17
  3. def OAI.PolynomialVacuumAlgebra.basePolyThree line 20
  4. def OAI.PolynomialVacuumAlgebra.vacuumZero line 30
  5. def OAI.PolynomialVacuumAlgebra.vacuumOne line 31
  6. def OAI.PolynomialVacuumAlgebra.vacuumTwo line 32
  7. def OAI.PolynomialVacuumAlgebra.vacuumThree line 33
  8. theorem OAI.PolynomialVacuumAlgebra.eval_basePolyTwo line 35
  9. theorem OAI.PolynomialVacuumAlgebra.eval_basePolyThree line 39
  10. theorem OAI.PolynomialVacuumAlgebra.lift_vacuumZero line 43
  11. theorem OAI.PolynomialVacuumAlgebra.lift_vacuumOne line 44
  12. theorem OAI.PolynomialVacuumAlgebra.lift_vacuumTwo line 45
  13. theorem OAI.PolynomialVacuumAlgebra.lift_vacuumThree line 46