Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-09 09:39 ff8bd5b2

View on Github →

fix(data/multiset): remove unused argument from range_zero (#466)

Estimated changes

modified theorem multiset.range_zero