Metamath Proof Explorer


Syntax definition csm

Description: Extend class notation with scalar multiplication in Hilbert space. In the literature scalar multiplication is usually indicated by juxtaposition, but we need an explicit symbol to prevent ambiguity.

Ref Expression
Assertion csm class ·