csitg - Mathbox for Thierry Arnoux

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

Syntax Definition csitg 30391

Description: Extend class notation with the integral of simple functions.

**Assertion**
Ref	Expression
csitg	sitg

See definition df-sitg 30392 for more information.

Colors of variables: wff setvar class