Database
BASIC ALGEBRAIC STRUCTURES
Rings
Homomorphisms of non-unital rings
crnghm

Next ⟩ crngim

Metamath Proof Explorer

Unicode
Structured

Syntax definition crnghm

Description: non-unital ring homomorphisms.

		Ref	Expression
	Assertion	crnghm	class RngHom