Entry	Value
Package Name	axiom-infinity
Count	1
Theorems	INFINITY_AX : ?f. ONE_ONE f /\ ~ONTO f

Back to main package page