Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.maps_to.mono

Modification history

2022-02-26 11:40

src/data/set/function.lean

refactor(topology,analysis): use `maps_to` in lemmas like `continuous_on.comp` (#12294)

Modified set.maps_to.mono View on Github →

2020-02-13 22:27

src/data/set/function.lean

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

Added set.maps_to.mono View on Github →