OAI/Combinatorics/TriangleRemoval/Queries/SplitQueryPaths.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.pmf_boolean_finite_cover line 18
2. def OAI.SharpTerminalLeave.splitQueryPaths line 49
3. theorem OAI.SharpTerminalLeave.splitQueryPaths_spec line 57
4. def OAI.SharpTerminalLeave.pairFactorialWeight line 74
5. lemma OAI.SharpTerminalLeave.pairFactorialWeight_nonneg line 79
6. theorem OAI.SharpTerminalLeave.actualPairVisitProbability_weight line 87