OAI/Combinatorics/TriangleRemoval/Tracking/GoodPrefixSurvivalMoments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpTerminalLeave.goodPrefix_survival_moments line 19
2. lemma OAI.SharpTerminalLeave.focusSurvival_singleton_mean line 41
3. lemma OAI.SharpTerminalLeave.focusSurvival_pair_mean line 48
4. theorem OAI.SharpTerminalLeave.terminal_first_focus_moment line 55
5. theorem OAI.SharpTerminalLeave.terminal_second_focus_moment line 62