OAI/Combinatorics/PolynomialVacuum/Algebra/InterpolatedZero.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.MinusZero line 9
2. theorem OAI.PolynomialVacuumAlgebra.initialCup_spectator_zero line 12
3. theorem OAI.PolynomialVacuumAlgebra.cupPrescription_spectator_zero line 20
4. theorem OAI.PolynomialVacuumAlgebra.dividedCupPrescription_spectator_zero line 28
5. theorem OAI.PolynomialVacuumAlgebra.interpolateState_spectator_zero line 35
6. theorem OAI.PolynomialVacuumAlgebra.interpolateState_last_minus_zero line 58
7. theorem OAI.PolynomialVacuumAlgebra.interpolateState_minusZero line 63