Metamath Proof Explorer


Syntax definition ccart

Description: Declare the syntax for the cartesian function.

Ref Expression
Assertion ccart class 𝖢𝖺𝗋𝗍