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