Theorem List.kerase_cons_eq

Modification history