citg1 - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > citg1		Structured version Visualization version GIF version

Syntax Definition citg1 24760

Description: Extend class notation with the Lebesgue integral for simple functions.

**Assertion**
Ref	Expression
citg1	class ∫₁

See definition df-itg1 24765 for more information.

Colors of variables: wff setvar class