Syntax definition clsh

Description: Extend class notation with all subspaces of a left module or left vector space that are hyperplanes.

	Ref	Expression
Assertion	clsh	$$class\mathrm{LSHyp}$$