Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Kazuhisa Ishida, Yasunari Shidama · Formalized Mathematics · 2010
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets This text includes the definition of chain-complete poset, fix-point theorem on it, and the definition of the function space of continuous functions on chain-complete posets [10].