RingHom vs. RingHomClass

Stream: mathlib4

[Kenny Lau]

Is there a simple decision procedure for me to know when I should use RingHom and when I should use RingHomClass?

[Etienne Marion]

In a theorem statement, I think that if you don’t need to coerce the RingHomClass to a RingHom then you should use RingHomClass.