Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Multivariate polynomials over the integers
cmzp

Next ⟩ df-mzpcl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmzp

Description: Extend class notation to include polynomial rings.

		Ref	Expression
	Assertion	cmzp	$class mzPoly$