Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Unique factorization domains
cufd

Next ⟩ df-ufd

Metamath Proof Explorer

Ascii
Structured

Syntax definition cufd

Description: Class of unique factorization domains.

		Ref	Expression
	Assertion	cufd	class UFD