refactor: review the `simps` projections of `OneHom`, `MulHom`, `MonoidHom`#19860

Open

YaelDillies wants to merge 1 commit intomasterfrom simps_monoid_hom

+103-122

Commits on Feb 1, 2025

refactor: review the simps projections of OneHom, Mulhom, MonoidHom
YaelDillies
committed