Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Mizar: Abian's fixpoint theorem
Back to
Abian's fixpoint theorem
P. Rudnicki and A. Trybulec, June 1996
Look into the Journal of Formalized Mathematics for
details .