Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Principal ideal rings. Divisibility in the integers
clpidl
Next ⟩
clpir
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clpidl
Description:
Ring left-principal-ideal function.
Ref
Expression
Assertion
clpidl
class LPIdeal