Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Definition and basic properties
cltb

Next ⟩ copws

Metamath Proof Explorer

Unicode
Structured

Syntax definition cltb

Description: Ordering on terms of a multivariate polynomial.

		Ref	Expression
	Assertion	cltb	class