csmblfn - Mathbox for Glauco Siliprandi

	Mathbox for Glauco Siliprandi		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > csmblfn		Structured version Visualization version GIF version

Syntax Definition csmblfn 44123

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

**Assertion**
Ref	Expression
csmblfn	class SMblFn

See definition df-smblfn 44124 for more information.

Colors of variables: wff setvar class