OAI/Probability/SKValue/Equations/TruncatedStieltjes.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.clamp_mem line 12
2. def OAI.SKValue.OrderParameter.truncatedStieltjes line 16
3. lemma OAI.SKValue.OrderParameter.truncatedStieltjes_zero line 27
4. lemma OAI.SKValue.OrderParameter.truncatedStieltjes_top line 31
5. def OAI.SKValue.OrderParameter.truncatedMass line 35
6. lemma OAI.SKValue.OrderParameter.truncatedMass_univ line 40
7. instance OAI.SKValue.OrderParameter.truncatedMass_finite line 52
8. lemma OAI.SKValue.OrderParameter.truncatedMass_cdf line 56
9. lemma OAI.SKValue.OrderParameter.truncatedMass_ae_mem line 81