OAI/Combinatorics/PolynomialVacuum/Puncture/
92 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- AnalyticObligations.lean 6 declarations
- BernoulliMoments.lean 5 declarations
- Calibration.lean 6 declarations
- CorrectionGram.lean 3 declarations
- ExactMoments.lean 6 declarations
- Gram.lean 8 declarations
- GramAlgebra.lean 2 declarations
- GramJensen.lean 1 declarations
- MomentWeight.lean 10 declarations
- Moments.lean 9 declarations
- Reference.lean 11 declarations
- ReferenceEvaluation.lean 4 declarations
- ScalarJensen.lean 2 declarations
- Simultaneous.lean 1 declarations
- ThermalIntegral.lean 8 declarations
- TraceKernel.lean 4 declarations
- TraceObligations.lean 6 declarations