[Merged by Bors] - refactor: deprecate ContinuousMonoidHomClass
#36928
label_new_contributor.yml
on: pull_request
label-and-report-new-contributor
27s