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

Commit
3 years ago
feat(data/set/basic): add `*.range_eq` (#17489) Add `option.range_eq`, `with_bot.range_eq`, and `with_top.range_eq`.
Author
Parents
Loading