Metamath Proof Explorer


Syntax definition ciminv

Description: Syntax for the functionalized inverse image.

Ref Expression
Assertion ciminv class 𝒫*