Commit 2023-04-06 15:26 3c23f5d3

View on Github →

feat: port Data.Multiset.Basic change from mathlib3 (#3306) See https://github.com/leanprover-community/mathlib/pull/15161.

Estimated changes

deleted theorem Multiset.pairwise_nil
added theorem Multiset.pairwise_zero