OAI/Probability/SKSupport/Moments/StrictMoments.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.integral_pos_of_interval_support line 14
2. lemma OAI.ZeroTemperatureSK.curvature_not_identically_zero line 31
3. lemma OAI.ZeroTemperatureSK.third_not_identically_zero line 46
4. lemma OAI.ZeroTemperatureSK.actual_jet_even_moment_pos line 75