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