OAI/Combinatorics/PolynomialVacuum/Algebra/CupSurface.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.cupSpecialize line 8
  2. theorem OAI.PolynomialVacuumAlgebra.cupSpecialize_C line 12
  3. theorem OAI.PolynomialVacuumAlgebra.cupSpecialize_X line 14
  4. theorem OAI.PolynomialVacuumAlgebra.eval_cupSpecialize line 17
  5. theorem OAI.PolynomialVacuumAlgebra.T_ne_one line 27
  6. theorem OAI.PolynomialVacuumAlgebra.cupSpecialize_X_ne_zero line 32
  7. theorem OAI.PolynomialVacuumAlgebra.scaled_X_ne_X line 38
  8. theorem OAI.PolynomialVacuumAlgebra.cupSpecialize_difference_ne_zero line 50
  9. def OAI.PolynomialVacuumAlgebra.distinctGuard line 64
  10. theorem OAI.PolynomialVacuumAlgebra.cupSpecialize_distinctGuard_ne_zero line 67
  11. theorem OAI.PolynomialVacuumAlgebra.eval_distinctGuard_good line 78