Metamath Proof Explorer


Syntax definition cvsca

Description: Extend class notation with scalar product.

Ref Expression
Assertion cvsca class ·𝑠