Hilbert Space Explorer

Hilbert Space Explorer

< Previous Next >
Related theorems
GIF version

Syntax Definition chil 4958

Description: Extend class notation with Hilbert vector space.

**Assertion**
Ref	Expression
chil	class ℋ

This syntax is primitive. The first axiom using it is ax-hilex 4983.

Colors of variables: wff set class