Theorem List.kerase_cons_ne

Modification history