Theorem List.map_fst_add_enumFrom_eq_enumFrom

Modification history