OAI/Combinatorics/PolynomialVacuum/Puncture/BernoulliMoments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.referenceBernoulliMoment line 9
2. theorem OAI.PolynomialVacuumCylinder.reference_moment_arithmetic line 14
3. theorem OAI.PolynomialVacuumCylinder.reference_moment_bernoulli line 39
4. def OAI.PolynomialVacuumCylinder.referenceBernoulliMatrix line 48
5. theorem OAI.PolynomialVacuumCylinder.denominatorReferenceMatrix_eq_bernoulli line 53