refactor: review the simps projections of OneHom, MulHom, MonoidHom
#43785
| Job | Run time |
|---|---|
| 49s | |
| 49s |
simps projections of OneHom, MulHom, MonoidHom
#43785
| Job | Run time |
|---|---|
| 49s | |
| 49s |