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

Next ⟩ df-bj-cur

Metamath Proof Explorer

Ascii
Structured

Syntax definition ccur-

Description: Syntax for the parameterized currying function.

		Ref	Expression
	Assertion	ccur-	class curry_