[Merged by Bors] - chore: use `grw`, `gcongr` more#30508

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

YaelDillies:more_grw_gcongrYaelDillies/mathlib4:more_grw_gcongrCopy head branch name to clipboard