Metamath Proof Explorer


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