∀ {k : Type u_1} {E : Type u_2} [inst : Field k] [inst_1 : AddCommGroup E] [inst_2 : Module k E] {F : Type u_4}
  [inst_3 : AddCommGroup F] [inst_4 : Module k F] (f : E →ₗ[k] F) (g : k → E) (a b : k),
  slope (⇑f ∘ g) a b = f (slope g a b)