Def Set.singletonMulHom

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.singletonMulHomView on Github →