Theorem Mathlib.Meta.List.range_succ_eq_map'

Modification history