OAI/Probability/SKValue/Variation/ContactIntegral.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.IsDiffusion.contact_fubini line 13
2. lemma OAI.SKValue.IsMinimizer.contactPotential_ae_zero line 65
3. lemma OAI.SKValue.OrderParameter.truncatedMass_Ioc line 91
4. lemma OAI.SKValue.IsMinimizer.coeff_eq_of_contactPositive line 105
5. lemma OAI.SKValue.IsMinimizer.coeff_constant_of_contactPositive line 116