Database
BASIC ALGEBRAIC STRUCTURES
Rings
Divisibility
cir
Next ⟩
df-dvdsr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cir
Description:
Ring irreducibles.
Ref
Expression
Assertion
cir
class
Irred