OAI/Probability/MatroidProphet/Pivots/PhasePattern.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatroidProphet.Pivots.lex_lt_true_iff_le_false line 12
2. lemma OAI.MatroidProphet.Pivots.phase_before_true line 18
3. lemma OAI.MatroidProphet.Pivots.mem_phase_pattern line 30
4. def OAI.MatroidProphet.Pivots.residualOfLayers line 53
5. lemma OAI.MatroidProphet.Pivots.first_inter_phase_eq_residual line 60