Metamath Proof Explorer


Syntax definition cimas

Description: Image structure function.

Ref Expression
Assertion cimas class 𝑠