Syntax definition cocaN

Description: Extend class notation with subspace orthocomplement for DVecA partial vector space.

	Ref	Expression
Assertion	cocaN	$$class\mathrm{ocA}$$