Commit 2024-06-27 19:33 b0640e92
View on Github →chore(AddConstMap): don't extend FunLike (#14201)
Instead, take it as an argument as other bundled homs do.
Also change the npow field in the Monoid instance so that coe_pow is a rfl lemma now.