Theorem List.exists_of_mem_keys

Modification history