Commit 2022-07-01 14:39 2ae20651
View on Github →chore(data/set,topology): fix 2 lemma names (#15079)
- rename
set.quot_mk_range_eqtoset.range_quotient_mk; - rename
is_closed_infi_ifftois_closed_supr_iff.
chore(data/set,topology): fix 2 lemma names (#15079)
set.quot_mk_range_eq to set.range_quotient_mk;is_closed_infi_iff to is_closed_supr_iff.