Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.inj_on.eq_iff

Modification history

2020-11-27 06:39

src/data/set/function.lean

chore(data/set/function): add 3 trivial lemmas (#5127)

Added set.inj_on.eq_iff View on Github →