OAI/Combinatorics/TriangleRemoval/Process/PairRequired.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.pairRequired line 17
2. lemma OAI.SharpTerminalLeave.pairRequired_shift_left line 20
3. lemma OAI.SharpTerminalLeave.pairRequired_shift_right line 25
4. lemma OAI.SharpTerminalLeave.pair_required_candidates line 34
5. lemma OAI.SharpTerminalLeave.marked_pair_child_left line 44
6. lemma OAI.SharpTerminalLeave.marked_pair_child_right line 62
7. def OAI.SharpTerminalLeave.pairVisitProbability line 79
8. lemma OAI.SharpTerminalLeave.discrete_ordered_step line 84
9. theorem OAI.SharpTerminalLeave.pairVisitProbability_fork line 99