Theorem List.kerase_kerase

Modification history