Theorem List.dropLast_cons_cons

Modification history