Def Mathlib.Meta.FunProp.getTheoremsForFunction

Modification history