OAI/Probability/MatroidProphet/Pivots/Scores.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.Pivots.sum_positive_iff_pivot_positive line 15
2. lemma OAI.MatroidProphet.Pivots.sum_negative_iff_pivot_negative line 30
3. lemma OAI.MatroidProphet.Pivots.sum_range_two_pow line 36
4. lemma OAI.MatroidProphet.Pivots.sum_two_pow_lt line 43
5. lemma OAI.MatroidProphet.Pivots.sum_signed_powers_positive_iff line 51
6. lemma OAI.MatroidProphet.Pivots.sum_positive_iff_max_exponent line 64