basic): Added `range_eq_iff` (#11044)

Commit

3 years ago

feat(data/set/basic): Added `range_eq_iff` (#11044) This serves as a convenient theorem for proving statements of the form `range f = S`.

Author

vihdzp

Parents