Def Mathlib.Meta.FunProp.getLastUsedTheoremName

Modification history