Theorem Option.isSome_map

Modification history

2024-08-05 08:52
Mathlib/Data/Option/Basic.lean
chore: move toolchain to v4.11.0-rc1 (#15513)
Deleted Option.isSome_mapView on Github →
2024-04-01 09:43
Mathlib/Data/Option/Basic.lean
feat(Option/Basic): add 2 trivial lemmas (#11641)
Added Option.isSome_mapView on Github →