Def Mathlib.Meta.FunProp.getLambdaTheorem

Modification history