Theorem Set.image2_right_identity

Modification history

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