Syntax definition csmblfn

Description: Extend class notation with the class of real-valued measurable functions w.r.t. sigma-algebras.

	Ref	Expression
Assertion	csmblfn	class SMblFn