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