Theorem List.keys_kerase

Modification history