Post #2306007
2025-03-03 23:57 UTC
@dpiponi@mathstodon.xyz there's no way i'll even attempt to review this, but in all fairness, if such a proof does exist then I can completely believe that it could be done by an obscure fixpoint on metric spaces.
Replies (1)
-
@dimpase@mathstodon.xyz 2025-03-04 03:29
@zanzi@mathstodon.xyz @dpiponi@mathstodon.xyz might be a good exercise to verify it in a proof assistant 🙂