mathlib

2ae20651 - chore(data/set,topology): fix 2 lemma names (#15079)

chore(data/set,topology): fix 2 lemma names (#15079) * rename `set.quot_mk_range_eq` to `set.range_quotient_mk`; * rename `is_closed_infi_iff` to `is_closed_supr_iff`.