theorem QuasiBorelSpace.ENNReal.isHom_add {A : Type u_1} [QuasiBorelSpace A] {f : A → ENNReal} (hf : IsHom f) {g : A → ENNReal} (hg : IsHom g) : IsHom fun (x : A) => f x + g x

theorem QuasiBorelSpace.ENNReal.isHom_mul {A : Type u_1} [QuasiBorelSpace A] {f : A → ENNReal} (hf : IsHom f) {g : A → ENNReal} (hg : IsHom g) : IsHom fun (x : A) => f x * g x