Login / Signup

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets.

Kazuhisa IshidaYasunari Shidama
Published in: Formaliz. Math. (2010)
Keyphrases