Theorem Option.map₂_left_identity

Modification history

2023-01-25 20:19
Mathlib/Data/Option/NAry.lean
Refactor: use `Option.map₂` (#1439) …
Added Option.map₂_left_identityView on Github →