Syntax definition csph

Description: Declare the syntax for spheres in generalized real Euclidean spaces.

	Ref	Expression
Assertion	csph	$$classSphere$$