Syntax Definition csm 8790

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

Copyright terms: Public domain