fix(topology/metric_space/cau_seq_filter): remove non-terminal simp (#6401)
fix(topology/metric_space/cau_seq_filter): remove non-terminal simp (#6401)






leanprover-community/mathlib,leanprover-community/mathlib