Syntax Definition csm 10214

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

Copyright terms: Public domain