refactor: generalise IsLocalRingHom
to monoids
#35902
label_new_contributor.yml
on: pull_request
label-and-report-new-contributor
4s