Syntax definition chl

Description: Extend class notation with the class of subcomplex Hilbert spaces.

	Ref	Expression
Assertion	chl	class CHil