Theorem List.exists_of_kerase

Modification history