feat(Algebra/Group/Submonoid/Defs): add OneMemClass.coe_nonempty#38288

b-mehta wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

b-mehta:feat/submonoid-coe-nonemptyb-mehta/mathlib4:feat/submonoid-coe-nonemptyCopy head branch name to clipboard