Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-13 12:50 fa8429c0

View on Github →

feat(data/set/basic): add *.range_eq (#17489) Add option.range_eq, with_bot.range_eq, and with_top.range_eq.

Estimated changes

modified theorem option.injective_iff
added theorem option.range_eq
added theorem with_bot.range_eq
added theorem with_top.range_eq