OAI/Probability/FreeIsing/Critical/Branching.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem367.CriticalBranching.step line 13
2. def OAI.Problem367.CriticalBranching.survival line 15
3. theorem OAI.Problem367.CriticalBranching.one_sub_pow_quadratic line 19
4. theorem OAI.Problem367.CriticalBranching.step_mem_Icc line 36
5. theorem OAI.Problem367.CriticalBranching.survival_mem_Icc line 46
6. theorem OAI.Problem367.CriticalBranching.step_le_quadratic line 52
7. theorem OAI.Problem367.CriticalBranching.le_reciprocal_of_quadratic_drift line 69
8. theorem OAI.Problem367.CriticalBranching.tendsto_zero_of_quadratic_drift line 93
9. theorem OAI.Problem367.CriticalBranching.survival_le_reciprocal line 104
10. theorem OAI.Problem367.CriticalBranching.survival_tendsto_zero line 115