Back to
Abian's fixpoint theorem
P. Rudnicki and A. Trybulec, June 1996
Look into the
Journal of Formalized Mathematics
for
details
.
Piotr Rudnicki
, email:
piotr@cs.ualberta.ca
