Metamath Proof Explorer


Syntax definition capply

Description: Declare the syntax for the application function.

Ref Expression
Assertion capply
class Apply