OAI/Probability/SKSupport/Moments/Curvature.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.compactJet_eq_value line 16
2. lemma OAI.ZeroTemperatureSK.stripSecond_eq_actual line 22
3. lemma OAI.ZeroTemperatureSK.stripThird_eq_actual line 36
4. lemma OAI.ZeroTemperatureSK.actualQuartic_pos line 51
5. lemma OAI.ZeroTemperatureSK.actualThirdSquare_pos line 58
6. lemma OAI.ZeroTemperatureSK.stripThird_coercive line 65
7. lemma OAI.ZeroTemperatureSK.stripThird_pos line 84
8. lemma OAI.ZeroTemperatureSK.stripSecond_zero_pos line 92