Theorem Mathlib.Meta.Multiset.range_zero'

Modification history