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