Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BJ
Set theory
Currying
cunc-

Next ⟩ df-bj-unc

Metamath Proof Explorer

Unicode
Structured

Syntax definition cunc-

Description: Notation for the parameterized uncurrying function.

		Ref	Expression
	Assertion	cunc-	class uncurry_