Theorem Option.pmap_bind_id_eq_pmap_join

Modification history

2025-03-14 05:54
Mathlib/Data/Option/Basic.lean
chore(Data): go through remaining porting notes (#22907) …
Added Option.pmap_bind_id_eq_pmap_joinView on Github →