Theorem List.kerase_keys_subset

Modification history