OAI/Combinatorics/TriangleRemoval/Process/EvolveBindFinish.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.evolve_bind_finish line 17
2. lemma OAI.SharpTerminalLeave.terminalLaw_prefix_disintegration line 28
3. lemma OAI.SharpTerminalLeave.normalizedLeave_error_envelope line 34
4. theorem OAI.SharpTerminalLeave.main_l2_prefix_failure_bound line 55