OAI/Probability/MatroidProphet/Residual/Transfer.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.tripleMaskExpectation line 10
2. lemma OAI.MatroidProphet.tripleMaskExpectation_mono line 14
3. lemma OAI.MatroidProphet.tripleMaskExpectation_add line 27
4. lemma OAI.MatroidProphet.tripleMaskExpectation_mul line 33
5. lemma OAI.MatroidProphet.tripleMask_sample_to_rank line 39