Theorem List.drop_take_succ_flatten_eq_getElem

Modification history