Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-27 06:39 4715d992

View on Github →

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

Estimated changes

Modified src/data/set/function.lean

added theorem set.inj_on.eq_iff

added theorem strict_mono.comp_strict_mono_incr_on

added theorem strict_mono_incr_on.comp