Structure Mathlib.Meta.FunProp.FunctionTheorem

Modification history