Theorem Mathlib.Meta.Finset.range_succ'

Modification history