simp only [support, ne_eq, mem_setOf_eq]
𝕂 : Type u_1
inst✝ : _root_.RCLike 𝕂
α : Type u_2
f : α → 𝕂
⊢ (support fun x => ‖f x‖) = support f
𝕂 : Type u_1
inst✝ : _root_.RCLike 𝕂
α : Type u_2
f : α → 𝕂
⊢ {x | ¬‖f x‖ = 0} = {x | ¬f x = 0}