Metamath Proof Explorer


Syntax definition cimg

Description: Declare the syntax for the image function.

Ref Expression
Assertion cimg class 𝖨𝗆𝗀