Search
❯
Dec 28, 20251 min read
In complete partial orders, every continuous function has at least one fixed point.