OAI/Combinatorics/TriangleRemoval/Queries/MemAddressId.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpTerminalLeave.PathForest.mem_address_id line 22
2. lemma OAI.SharpTerminalLeave.PathForest.address_map line 49
3. lemma OAI.SharpTerminalLeave.PathForest.option_address_length line 60
4. lemma OAI.SharpTerminalLeave.PathForest.mem_option_address line 66
5. lemma OAI.SharpTerminalLeave.PathForest.two_mark_size line 74