Syntax Definition csm 9065

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 9113 for more information.

Copyright terms: Public domain