Structure Mathlib.Meta.FunProp.LambdaTheorem

Modification history