Metamath Proof Explorer


Syntax definition citg

Description: Extend class notation with the general Lebesgue integral.

Ref Expression
Assertion citg class 𝐴 𝐵 d 𝑥