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

Next ⟩ cmzp

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmzpcl

Description: Extend class notation to include pre-polynomial rings.

		Ref	Expression
	Assertion	cmzpcl	$class mzPolyCld$