Entry Value
Package Name axiom-infinity
Count 1
Theorems
  • INFINITY_AX : ?f. ONE_ONE f /\ ~ONTO f
  • Back to main package page