Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(data/set/basic): Added
range_eq_iff
(#11044)
This serves as a convenient theorem for proving statements of the form `range f = S`.
- Loading branch information