OAI/Combinatorics/PolynomialVacuum/Algebra/KillSite.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.killSite line 8
  2. theorem OAI.PolynomialVacuumAlgebra.killSite_C line 11
  3. theorem OAI.PolynomialVacuumAlgebra.killSite_X line 13
  4. theorem OAI.PolynomialVacuumAlgebra.killSite_rename_injective line 16
  5. theorem OAI.PolynomialVacuumAlgebra.killSite_rename line 30
  6. theorem OAI.PolynomialVacuumAlgebra.killSite_difference_ne_zero line 34
  7. theorem OAI.PolynomialVacuumAlgebra.killSite_denominators_ne_zero line 48
  8. theorem OAI.PolynomialVacuumAlgebra.canonicalInterpolant_killSite line 59
  9. theorem OAI.PolynomialVacuumAlgebra.eval_killSite line 76