Structure Mathlib.Meta.FunProp.GeneralTheorem

Modification history