Follow

Soareに載ってるSacksのCone Avoidance Theoremの証明,よく考えたら無駄に複雑な上に間違ってるので何がしたかったんだ……という感じ(lengthとrestraintをどちらも単調非減少になるように修正すると証明が簡単になる).たぶん無限害優先論法との対比がしたかったんだと思うんだけど……

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.