hom_comp and comp_hom

Stream: mathlib4

[Edison Xie]

We have both ModuleCat.hom_comp and Action.comp_hom, is there a convention for this?

[Yury G. Kudryashov]

There is a broader question of prefix vs postfix for structure projections. Unfortunately, Mathlib uses both, and changing this is not easy.