Commit 2025-04-14 23:37 888ae69a

View on Github →

fix(Group/Pointwise/Finset): don't use CoeTC.coe (#24051)

Estimated changes

modified theorem Finset.coe_coeMonoidHom