OAI/Combinatorics/TriangleRemoval/Queries/Child.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpTerminalLeave.QueryCall.Child line 20
2. def OAI.SharpTerminalLeave.QueryCall.RootedTrace line 24
3. theorem OAI.SharpTerminalLeave.tracedGridQuery_parents line 28
4. theorem OAI.SharpTerminalLeave.QueryCall.Child.address_length line 94