OAI/Combinatorics/TriangleRemoval/Spectral/TracedGridQueryAddress.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpTerminalLeave.tracedGridQuery_address line 20
2. lemma OAI.SharpTerminalLeave.fork_addresses_ne line 52
3. lemma OAI.SharpTerminalLeave.child_address_ne line 60
4. theorem OAI.SharpTerminalLeave.tracedGridQuery_address_nodup line 67