Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Rings (extension)
Rng homomorphisms
crngh

Next ⟩ crngs

Metamath Proof Explorer

Unicode
Structured

Syntax definition crngh

Description: non-unital ring homomorphisms.

		Ref	Expression
	Assertion	crngh	class RngHomo