Metamath Proof Explorer


Syntax definition capply

Description: Declare the syntax for the application function.

Ref Expression
Assertion capply class 𝖠𝗉𝗉𝗅𝗒