Mathlib v3 is deprecated. Go to Mathlib v4

Theorem option.map_inj

Modification history

2022-09-26 05:32

src/data/option/basic.lean

feat(data/option/basic): `option.map` is injective (#16626) …

Added option.map_inj View on Github →