Theorem List.prev_cons_cons_of_ne'

Modification history