Metamath Proof Explorer


Syntax definition cui

Description: Units in a ring.

Ref Expression
Assertion cui classUnit