Database
BASIC ALGEBRAIC STRUCTURES
Rings
Divisibility
cdsr
Next ⟩
cui
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cdsr
Description:
Ring divisibility relation.
Ref
Expression
Assertion
cdsr
class ||r