OAI/Probability/MatroidProphet/Residual/Global.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.tripleMaskExpectation_split line 9
2. lemma OAI.MatroidProphet.tripleMaskExpectation_const line 26
3. lemma OAI.MatroidProphet.tripleMaskExpectation_congr line 30
4. lemma OAI.MatroidProphet.MainAlgorithm.focalMasks_withMasks line 43
5. lemma OAI.MatroidProphet.MainAlgorithm.listedTransferGap_expectation_le line 51
6. lemma OAI.MatroidProphet.MainAlgorithm.listedTransferGap_parity_expectation_le line 75