Theorem Option.pmap_some

Modification history

2024-10-04 03:33

Mathlib/Data/Option/Basic.lean

chore: bump toolchain to v4.13.0-rc2 (#17377) …

Deleted Option.pmap_some View on Github →

2022-11-07 03:58

Mathlib/Data/Option/Basic.lean

feat: port Data.Option.Basic (#493) …

Added Option.pmap_some View on Github →