feat(data/set/basic): add `*.range_eq` (#17489)
feat(data/set/basic): add `*.range_eq` (#17489)

Add `option.range_eq`, `with_bot.range_eq`, and `with_top.range_eq`.





leanprover-community/mathlib,leanprover-community/mathlib