Hilbert Space Explorer

Hilbert Space Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition cph 4970

Description: Extend class notation with subspace sum in C_ℋ.

**Assertion**
Ref	Expression
cph	class +_ℋ

See definition df-shsum 5275 for more information.

Colors of variables: wff set class