Theorem List.lookup_graph

Modification history