OAI/Combinatorics/PolynomialVacuum/Algebra/Target.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. inductive OAI.PolynomialVacuumAlgebra.Spin line 7
  2. instance OAI.PolynomialVacuumAlgebra.(instance at line 10) line 10
  3. def OAI.PolynomialVacuumAlgebra.charge line 13
  4. def OAI.PolynomialVacuumAlgebra.q line 15
  5. def OAI.PolynomialVacuumAlgebra.t line 16
  6. def OAI.PolynomialVacuumAlgebra.T line 17
  7. def OAI.PolynomialVacuumAlgebra.zeta line 18
  8. def OAI.PolynomialVacuumAlgebra.xStar line 19
  9. def OAI.PolynomialVacuumAlgebra.nZero line 20
  10. abbrev OAI.PolynomialVacuumAlgebra.Pair line 22
  11. def OAI.PolynomialVacuumAlgebra.cup line 24
  12. def OAI.PolynomialVacuumAlgebra.insertion line 27
  13. def OAI.PolynomialVacuumAlgebra.Pzero line 35
  14. def OAI.PolynomialVacuumAlgebra.Pone line 36
  15. def OAI.PolynomialVacuumAlgebra.Ptwo line 38
  16. def OAI.PolynomialVacuumAlgebra.exchangeDenominator line 41
  17. def OAI.PolynomialVacuumAlgebra.exchangeNumerator line 42
  18. abbrev OAI.PolynomialVacuumAlgebra.State line 47
  19. abbrev OAI.PolynomialVacuumAlgebra.Family line 48
  20. def OAI.PolynomialVacuumAlgebra.pairLeft line 51
  21. def OAI.PolynomialVacuumAlgebra.pairRight line 52
  22. def OAI.PolynomialVacuumAlgebra.omitPair line 54
  23. def OAI.PolynomialVacuumAlgebra.fusionScalar line 57
  24. def OAI.PolynomialVacuumAlgebra.IsPolynomialVacuum line 61
  25. def OAI.PolynomialVacuumAlgebra.PolynomialVacuumExists line 93