Theorem List.prev_ne_cons_cons

Modification history