Database
BASIC ALGEBRAIC STRUCTURES
Rings
Divisibility
cdsr

Next ⟩ cui

Metamath Proof Explorer

Ascii
Structured

Syntax definition cdsr

Description: Ring divisibility relation.

		Ref	Expression
	Assertion	cdsr	class ∥_r