Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.inj_on_preimage

Modification history

2021-04-04 06:41

src/data/set/function.lean

chore(data/set/function): minor style fixes (#7027)

Modified set.inj_on_preimage View on Github →

2020-02-13 22:27

src/data/set/function.lean

refactor(data/set/function): use dot notation (#1934)

Modified set.inj_on_preimage View on Github →

2019-04-20 20:07

src/data/set/function.lean

feat(data/[fin]set): add some more basic properties of (finite) sets (#948) …

Added set.inj_on_preimage View on Github →