Database
BASIC ALGEBRAIC STRUCTURES
Rings
Divisibility
cui
Next ⟩
cir
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cui
Description:
Ring unit.
Ref
Expression
Assertion
cui
class
Unit