Theorem List.drop_take_succ_eq_cons_nthLe

Modification history