Database
BASIC ALGEBRAIC STRUCTURES
Rings
Homomorphisms of non-unital rings
crngim
Next ⟩
df-rnghm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
crngim
Description:
non-unital ring isomorphisms.
Ref
Expression
Assertion
crngim
class RngIso