Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.bij_on.bijective

Modification history

2022-12-08 11:15
src/data/set/function.lean
feat(data/set/pointwise/interval): generalize some lemmas (#17837) …
Modified set.bij_on.bijectiveView on Github →
2020-11-27 06:39
src/data/set/function.lean
chore(data/equiv/basic): redefine `set.bij_on.equiv` (#5128) …
Added set.bij_on.bijectiveView on Github →