Theorem List.kerase_comm

Modification history