HSE Home Hilbert Space Explorer < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  HSE Home  >  Th. List  >  csm Structured version   Visualization version   GIF version

Syntax Definition csm 28858
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 ·

See definition df-hba 28906 for more information.

Colors of variables: wff setvar class
  Copyright terms: Public domain W3C validator