OAI/Probability/SignedSweeps/FiniteProbability.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.finiteProb line 12
2. lemma OAI.SignedSweeps.finiteProb_congr line 15
3. lemma OAI.SignedSweeps.finiteProb_equiv line 22
4. lemma OAI.SignedSweeps.finiteProb_true line 27
5. lemma OAI.SignedSweeps.finiteProb_false line 32
6. lemma OAI.SignedSweeps.finiteProb_nonneg line 36
7. lemma OAI.SignedSweeps.finiteProb_mono line 40
8. lemma OAI.SignedSweeps.finiteProb_le_one line 50
9. lemma OAI.SignedSweeps.finiteProb_pi_forall line 54
10. lemma OAI.SignedSweeps.univ_perms_fin_two line 69
11. lemma OAI.SignedSweeps.finiteProb_bit_switch line 79
12. lemma OAI.SignedSweeps.finiteMean_pi_prod line 89