Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Additional definitions for (multivariate) polynomials
cmhp

Next ⟩ cpsd

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmhp

Description: Multivariate polynomials.

		Ref	Expression
	Assertion	cmhp	class mHomP