Hilbert Space Explorer

Hilbert Space Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition c0h 4974

Description: Extend class notation with zero of C_ℋ.

**Assertion**
Ref	Expression
c0h	class 0_ℋ

See definition df-ch0 5157 for more information.

Colors of variables: wff set class