Metamath Proof Explorer

Syntax definition cunc

Description: Extend class notation to include the uncurrying function.

Ref Expression
Assertion cunc class uncurry A