no goals
C : Type u₁
inst✝² : Category C
D : Type u₂
inst✝¹ : Category D
inst✝ : HasCoequalizers C
𝒢 : Set C
⊢ IsCodetecting 𝒢 → IsCoseparating 𝒢
simpa only [← isSeparating_op_iff, ← isDetecting_op_iff] using IsDetecting.isSeparating