Syntax definition cpjh

Description: Extend class notation with set of projections on a Hilbert space.

	Ref	Expression
Assertion	cpjh	class projh