Def Mathlib.Meta.Multiset.ProveZeroOrConsResult.eq_trans

Modification history