Def Mathlib.Meta.Finset.ProveEmptyOrConsResult.uncheckedCast

Modification history