@[reducible, inline]

noncomputable abbrev myExpr (f g : ℝ → ℝ) : ℝ → ℝ

Equations

• myExpr f g z = f z ^ 2 + g z

@[reducible, inline]

noncomputable abbrev myExprMul (f g : ℝ → ℝ) : ℝ → ℝ

Equations

• myExprMul f g z = f z * g z