Metamath Proof Explorer


Syntax definition crngs

Description: non-unital ring isomorphisms.

Ref Expression
Assertion crngs
class RngIsom