∀ {F : Type u_1} (𝕜 : Type u_4) (R : Type u_2) (S : Type u_3) [inst : NormedField 𝕜] [inst_1 : Ring R]
  [inst_2 : Algebra 𝕜 R] [inst_3 : SeminormedRing S] [inst_4 : NormedAlgebra 𝕜 S] [inst_5 : FunLike F R S]
  [NonUnitalAlgHomClass F 𝕜 R S], NonUnitalRingHomClass F R S