Metamath Proof Explorer


Syntax definition ccur-

Description: Syntax for the parameterized currying function.

Ref Expression
Assertion ccur-
class curry_