Theorem List.erasep_cons_of_neg

Modification history