OAI/Combinatorics/TriangleRemoval/Stability/CavityReference.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.goodPrefix_active_degree line 16
2. lemma OAI.SharpTerminalLeave.cavityTime_prefixHorizon line 32
3. theorem OAI.SharpTerminalLeave.goodPrefix_cavity_continuation line 40
4. def OAI.SharpTerminalLeave.cavityReference line 73
5. def OAI.SharpTerminalLeave.cavityClock line 74
6. lemma OAI.SharpTerminalLeave.cavityClock_mem line 76
7. lemma OAI.SharpTerminalLeave.cavityTime_clock line 84
8. lemma OAI.SharpTerminalLeave.cavityReference_exp line 92
9. lemma OAI.SharpTerminalLeave.cavityReference_pos line 99
10. theorem OAI.SharpTerminalLeave.goodPrefix_cavity_relative line 102