Theorem List.kerase_of_not_mem_keys

Modification history