OAI/NumberTheory/Jacobsthal/Paths/PairBranchFullProjection.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos970.Erdos970Dependency.MarkedVisits.pairBranchKernel line 14
2. instance OAI.Erdos970.Erdos970Dependency.MarkedVisits.pairBranchKernel_isFiniteKernel line 17
3. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.markedKernel_branch_lintegral line 21
4. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.markContinuation_measure line 31
5. theorem OAI.Erdos970.Erdos970Dependency.MarkedVisits.cycleBranch_completion line 37
6. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.pairBranch_sum line 54
7. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.nextMarkWeight_pair_mass line 66
8. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.pairBranch_full_lintegral line 82
9. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.pairBranch_full_projection line 104
10. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.false_arrival_set line 116
11. lemma OAI.Erdos970.Erdos970Dependency.MarkedVisits.pairBranch_marked_first_mass line 120