Metamath Proof Explorer


Syntax definition clmat

Description: Extend class notation with the literal matrix conversion function.

Ref Expression
Assertion clmat class litMat