no goals
α : Type u_1
inst✝² : TopologicalSpace α
inst✝¹ : NonAssocRing α
inst✝ : ContinuousMul α
⊢ Continuous fun a => -a
simpa using (continuous_const.mul continuous_id : Continuous fun x : α => -1 * x)