Def Set.singletonMonoidHom

Modification history

2025-07-04 20:53
Mathlib/Algebra/Group/Pointwise/Set/Basic.lean
chore: remove `noncomputable` from Set/Finset Monoid instances (#26755)
Added Set.singletonMonoidHomView on Github →