OAI/Combinatorics/PolynomialVacuum/Algebra/AllSizeConstruction.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.polynomialVacuum line 14
  2. structure OAI.PolynomialVacuumAlgebra.VacuumRegular line 21
  3. structure OAI.PolynomialVacuumAlgebra.VacuumAt line 29
  4. theorem OAI.PolynomialVacuumAlgebra.vacuumZero_regular line 37
  5. theorem OAI.PolynomialVacuumAlgebra.vacuumOne_regular line 46
  6. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_regular line 63
  7. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_regular line 67
  8. theorem OAI.PolynomialVacuumAlgebra.vacuumOne_cyclic line 71
  9. theorem OAI.PolynomialVacuumAlgebra.polynomialVacuum_at_zero line 76
  10. theorem OAI.PolynomialVacuumAlgebra.polynomialVacuum_at_one line 81
  11. theorem OAI.PolynomialVacuumAlgebra.polynomialVacuum_at_two line 92
  12. theorem OAI.PolynomialVacuumAlgebra.polynomialVacuum_at_three line 109