Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Kazuhisa Ishida, Yasunari Shidama (2010)
Formalized Mathematics
Similarity:
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].