On August 21, 2020 3:31:49 AM EDT, Thomas Brendan Leahy <[email protected]> wrote: >Well, I finally got the Poincaré-Miranda theorem done as I promised a >year >ago, along with a very restricted version of Brouwer's fixed point >theorem. What's left is to show that convex compact sets with nonempty >interior are homeomorphic and that those with empty interior are >homeomorphic to compact convex sets of lower dimension (allowing for >induction from the trivial base case of a point).
Spectacular, and congratulations! --- David A.Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/A2538E38-2F3E-4A1E-A13A-B62772572328%40dwheeler.com.
