Syntax Definition csm 8729

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.

Assertion

Ref	Expression
csm	class ·h

See definition df-hba 8777 for more information.

Copyright terms: Public domain