Metamath Proof Explorer


Syntax definition crngh

Description: non-unital ring homomorphisms.

Ref Expression
Assertion crngh
class RngHomo