Database
BASIC ALGEBRAIC STRUCTURES
Rings
Divisibility
cui

Next ⟩ cir

Metamath Proof Explorer

Ascii
Structured

Syntax definition cui

Description: Ring unit.

		Ref	Expression
	Assertion	cui	class Unit