Metamath Proof Explorer


Syntax definition cmat2pmat

Description: Extend class notation with the transformation of a matrix into a matrix of polynomials.

Ref Expression
Assertion cmat2pmat
class matToPolyMat