Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Curry and uncurry
ccur

Next ⟩ cunc

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ccur

Description: Extend class notation to include the currying function.

		Ref	Expression
	Assertion	ccur	$class curry A$