OAI/Combinatorics/PolynomialVacuum/Algebra/CupPrescriptions.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.polyExchangeNumerator line 9
  2. theorem OAI.PolynomialVacuumAlgebra.eval_polyExchangeNumerator line 15
  3. theorem OAI.PolynomialVacuumAlgebra.polyExchangeNumerator_homogeneous line 21
  4. abbrev OAI.PolynomialVacuumAlgebra.PolynomialTensor line 35
  5. def OAI.PolynomialVacuumAlgebra.tensorExchange line 37
  6. theorem OAI.PolynomialVacuumAlgebra.tensorExchange_mul line 42
  7. theorem OAI.PolynomialVacuumAlgebra.tensorExchange_homogeneous line 51
  8. def OAI.PolynomialVacuumAlgebra.transportCup line 60
  9. def OAI.PolynomialVacuumAlgebra.rightSpectators line 65
  10. def OAI.PolynomialVacuumAlgebra.initialCup line 68
  11. def OAI.PolynomialVacuumAlgebra.leftFusionFactors line 75
  12. def OAI.PolynomialVacuumAlgebra.cupPrescription line 78
  13. theorem OAI.PolynomialVacuumAlgebra.marked_variable_dvd_cupPrescription line 84
  14. theorem OAI.PolynomialVacuumAlgebra.transportCup_homogeneous line 90
  15. theorem OAI.PolynomialVacuumAlgebra.cupPrescription_homogeneous line 102