chore(FGModuleCat/EssentiallySmall): generalize to Ring#42006

ybenmeur wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

ybenmeur:essSmallFGMod_ringybenmeur/mathlib4:essSmallFGMod_ringCopy head branch name to clipboard