Syntax definition crsp

Description: Ring span function.

	Ref	Expression
Assertion	crsp	$$class\mathrm{RSpan}$$