citgm - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > citgm		Structured version Visualization version Unicode version

Syntax Definition citgm 30389

Description: Extend class notation with the (measure) Bochner integral.

**Assertion**
Ref	Expression
citgm	itgm

See definition df-itgm 30415 for more information.

Colors of variables: wff setvar class