Inductive Mathlib.Meta.Multiset.ProveZeroOrConsResult

Modification history