Def Mathlib.Meta.Multiset.ProveZeroOrConsResult.uncheckedCast

Modification history