Syntax definition bj-csngl

Description: Syntax for singletonization. (Contributed by BJ, 6-Oct-2018)

	Ref	Expression
Assertion	bj-csngl	$$classsnglA$$