Theorem List.prev_cons_cons_of_ne

Modification history