naming convention: bundled versions of functions

Stream: mathlib4

[Yury G. Kudryashov]

We have different ways to name bundled versions of unbundled functions. E.g., docs#RCLike.reCLM docs#PiLp.projₗ docs#DFinsupp.filterLinearMap docs#zpowGroupHom docs#Pi.monoidHom docs#Pi.evalMulHom docs#LinearMap.pi docs#LinearMap.snd

[Yury G. Kudryashov]

Also, AFAIR sometimes prod is used for fun x => (f x, g x) and sometimes for Prod.map f g.

[Yury G. Kudryashov]

Should we choose a naming scheme here and apply it everywhere?

[Sébastien Gouëzel]

Yes, I think it would be very good to have a coherent naming scheme for all of these.