Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Multivariate Polynomials
cextv
Next ⟩
df-extv
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cextv
Description:
Extend class notation with the "variable extension" function.
Ref
Expression
Assertion
cextv
class extendVars