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}$