∀ {F : Type u_1} {R : Type u_2} {S : Type u_3} [inst : NonUnitalSemiring R] [inst_1 : NonUnitalSemiring S]
  [inst_2 : FunLike F R S] [NonUnitalRingHomClass F R S] (f : F) {x : R}, IsQuasiregular x → IsQuasiregular (f x)