Commit 2021-12-25 17:20 ad99529e
View on Github →feat(data/set/basic): Added range_eq_iff
(#11044)
This serves as a convenient theorem for proving statements of the form range f = S
.
feat(data/set/basic): Added range_eq_iff
(#11044)
This serves as a convenient theorem for proving statements of the form range f = S
.