Def Mathlib.Meta.Finset.ProveEmptyOrConsResult.eq_trans

Modification history