OAI/Combinatorics/TriangleRemoval/Probability/PathVisitProbability.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.pmf_boolean_map_le line 17
2. lemma OAI.SharpTerminalLeave.markedGood_map_true line 31
3. def OAI.SharpTerminalLeave.actualPathVisitProbability line 40
4. theorem OAI.SharpTerminalLeave.actualPathVisitProbability_le_marked line 46
5. theorem OAI.SharpTerminalLeave.actualPathVisitProbability_factorial line 69