OAI/Combinatorics/TriangleRemoval/Queries/ForkAddressesNotSuffix.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.fork_addresses_not_suffix line 20
2. lemma OAI.SharpTerminalLeave.child_address_not_suffix line 27
3. theorem OAI.SharpTerminalLeave.tracedGridQuery_no_later_ancestor line 35
4. theorem OAI.SharpTerminalLeave.tracedGridQuery_parent_before line 93