Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-04 12:06 c7baf8ef

View on Github →

feat(option/injective_map) (#978)

Estimated changes

Modified src/data/option/basic.lean

added theorem option.injective_map