Theorem List.drop_take_succ_eq_cons_getElem

Modification history