∀ {X : Type u_1} {Y : Type u_3} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace Y] (A : Type u_2)
  [inst_2 : TopologicalSpace A] [inst_3 : Semiring A] (f : C(X, Y)), ContinuousMap.comp 0 f = 0