Theorem Mathlib.Meta.Multiset.range_succ'

Modification history