OAI/Combinatorics/PolynomialVacuum/Algebra/PolynomialScalars.lean

GitHub source file

58 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.xStar_polynomial line 7
  2. theorem OAI.PolynomialVacuumAlgebra.nZero_inv_polynomial line 16
  3. theorem OAI.PolynomialVacuumAlgebra.q_pow_9 line 21
  4. theorem OAI.PolynomialVacuumAlgebra.q_pow_10 line 26
  5. theorem OAI.PolynomialVacuumAlgebra.q_pow_11 line 31
  6. theorem OAI.PolynomialVacuumAlgebra.q_pow_12 line 36
  7. theorem OAI.PolynomialVacuumAlgebra.q_pow_13 line 41
  8. theorem OAI.PolynomialVacuumAlgebra.q_pow_14 line 46
  9. theorem OAI.PolynomialVacuumAlgebra.q_pow_15 line 51
  10. theorem OAI.PolynomialVacuumAlgebra.q_pow_16 line 56
  11. theorem OAI.PolynomialVacuumAlgebra.q_pow_17 line 61
  12. theorem OAI.PolynomialVacuumAlgebra.q_pow_18 line 66
  13. theorem OAI.PolynomialVacuumAlgebra.q_pow_19 line 71
  14. theorem OAI.PolynomialVacuumAlgebra.q_pow_20 line 76
  15. theorem OAI.PolynomialVacuumAlgebra.q_pow_21 line 81
  16. theorem OAI.PolynomialVacuumAlgebra.q_pow_22 line 86
  17. theorem OAI.PolynomialVacuumAlgebra.q_pow_23 line 91
  18. theorem OAI.PolynomialVacuumAlgebra.q_pow_24 line 96
  19. theorem OAI.PolynomialVacuumAlgebra.q_pow_25 line 101
  20. theorem OAI.PolynomialVacuumAlgebra.q_pow_26 line 106
  21. theorem OAI.PolynomialVacuumAlgebra.q_pow_27 line 111
  22. theorem OAI.PolynomialVacuumAlgebra.q_pow_28 line 116
  23. theorem OAI.PolynomialVacuumAlgebra.q_pow_29 line 121
  24. theorem OAI.PolynomialVacuumAlgebra.q_pow_30 line 126
  25. theorem OAI.PolynomialVacuumAlgebra.q_pow_31 line 131
  26. theorem OAI.PolynomialVacuumAlgebra.q_pow_32 line 136
  27. theorem OAI.PolynomialVacuumAlgebra.q_pow_33 line 141
  28. theorem OAI.PolynomialVacuumAlgebra.q_pow_34 line 146
  29. theorem OAI.PolynomialVacuumAlgebra.q_pow_35 line 151
  30. theorem OAI.PolynomialVacuumAlgebra.q_pow_36 line 156
  31. theorem OAI.PolynomialVacuumAlgebra.q_pow_37 line 161
  32. theorem OAI.PolynomialVacuumAlgebra.q_pow_38 line 166
  33. theorem OAI.PolynomialVacuumAlgebra.q_pow_39 line 171
  34. theorem OAI.PolynomialVacuumAlgebra.q_pow_40 line 176
  35. theorem OAI.PolynomialVacuumAlgebra.q_pow_41 line 181
  36. theorem OAI.PolynomialVacuumAlgebra.q_pow_42 line 186
  37. theorem OAI.PolynomialVacuumAlgebra.q_pow_43 line 191
  38. theorem OAI.PolynomialVacuumAlgebra.q_pow_44 line 196
  39. theorem OAI.PolynomialVacuumAlgebra.q_pow_45 line 201
  40. theorem OAI.PolynomialVacuumAlgebra.q_pow_46 line 206
  41. theorem OAI.PolynomialVacuumAlgebra.q_pow_47 line 211
  42. theorem OAI.PolynomialVacuumAlgebra.q_pow_48 line 216
  43. theorem OAI.PolynomialVacuumAlgebra.q_pow_49 line 221
  44. theorem OAI.PolynomialVacuumAlgebra.q_pow_50 line 226
  45. theorem OAI.PolynomialVacuumAlgebra.q_pow_51 line 231
  46. theorem OAI.PolynomialVacuumAlgebra.q_pow_52 line 236
  47. theorem OAI.PolynomialVacuumAlgebra.q_pow_53 line 241
  48. theorem OAI.PolynomialVacuumAlgebra.q_pow_54 line 246
  49. theorem OAI.PolynomialVacuumAlgebra.q_pow_55 line 251
  50. theorem OAI.PolynomialVacuumAlgebra.q_pow_56 line 256
  51. theorem OAI.PolynomialVacuumAlgebra.q_pow_57 line 261
  52. theorem OAI.PolynomialVacuumAlgebra.q_pow_58 line 266
  53. theorem OAI.PolynomialVacuumAlgebra.q_pow_59 line 271
  54. theorem OAI.PolynomialVacuumAlgebra.q_pow_60 line 276
  55. theorem OAI.PolynomialVacuumAlgebra.q_pow_61 line 281
  56. theorem OAI.PolynomialVacuumAlgebra.q_pow_62 line 286
  57. theorem OAI.PolynomialVacuumAlgebra.q_pow_63 line 291
  58. theorem OAI.PolynomialVacuumAlgebra.q_pow_64 line 296