Theorem Set.image2_left_identity

Modification history

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