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