The proof essentially works, I think. See the end of this thread for what I mean by that: https://t.co/FiFgqGogV3

Posters: robinhouston. robinhouston

3 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/robinhouston/status/1054639530576408576