crngim - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > crngim		Structured version Visualization version GIF version

Syntax Definition crngim 20550

Description: non-unital ring isomorphisms.

**Assertion**
Ref	Expression
crngim	class RngIso

See definition df-rngim 20552 for more information.

Colors of variables: wff setvar class