Database
BASIC LINEAR ALGEBRA
Abstract multivariate polynomials
Definition and basic properties
cltb
Next ⟩
copws
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cltb
Description:
Ordering on terms of a multivariate polynomial.
Ref
Expression
Assertion
cltb
class
<
bag