Metamath Proof Explorer


Syntax definition citgo

Description: Extend class notation with the integral-over predicate.

Ref Expression
Assertion citgo class IntgOver