Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-24 16:46 483b54f1

View on Github →

refactor(logic/equiv/set): open set namespace (#14355)

Estimated changes

Modified src/logic/equiv/set.lean

modified theorem equiv.apply_of_injective_symm

modified theorem equiv.range_eq_univ