Fixed-point theorem: Difference between revisions

No edit summary
Reverting edit(s) by 2603:7000:7700:4BE3:5E74:9912:8C1E:8CD2 (talk) to rev. 1201422669 by JoaoFrancisco1812: Non-constructive edit (UV 0.1.5)
 
(One intermediate revision by one other user not shown)
(No difference)