Def Finset.coeMonoidHom

Modification history

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