Inductive Mathlib.Meta.FunProp.MaybeFunctionData

Modification history