Structure Mathlib.Meta.FunProp.LambdaTheorems

Modification history