2026-07-02 11:09 UTC
@sergiosh@mathstodon.xyz @tao@mathstodon.xyz from now on this statement will be called the Iglesias-Tao Hypothesis (ITH). When and if provided with a formally verified proof, be renamed the Iglesias-Tao Lemma.
Replies (1)
-
@sergiosh@mathstodon.xyz 2026-07-03 10:04
@O@mathstodon.xyz lol. This is the only context where my name will be next to his, in a joke.