Syntax definition crnghm

Description: non-unital ring homomorphisms.

	Ref	Expression
Assertion	crnghm	$$class\mathrm{RngHom}$$