Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Unique factorization domains
cufd
Next ⟩
df-ufd
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cufd
Description:
Class of unique factorization domains.
Ref
Expression
Assertion
cufd
Could not format assertion : No typesetting found for class UFD with typecode class