Entry	Value
Package Name	axiom-choice
Count	1
Theorems	SELECT_AX : !p x. p x ==> p ((@) p)

Back to main package page