Theorem Option.map₂_eq_some_iff

Modification history

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