[Merged by Bors] - chore: standardise names for coercions from morphism classes to morphisms - #43367

[Merged by Bors] - chore: standardise names for coercions from morphism classes to morphisms#43367

grunweg wants to merge 9 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:staralgequiv-experimentgrunweg/mathlib4:staralgequiv-experimentCopy head branch name to clipboard