OAI/Probability/SKValue/Equations/WeightedCap.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKValue.weightedCap line 10
2. lemma OAI.SKValue.weightedCap_bddAbove line 13
3. lemma OAI.SKValue.le_weightedCap line 21
4. lemma OAI.SKValue.weightedCap_nonneg line 26
5. lemma OAI.SKValue.abs_le_weightedCap_div line 30
6. lemma OAI.SKValue.weightedCap_le line 36
7. lemma OAI.SKValue.weightedCap_absorb line 44