4 ms·
Needs a “[November 2025]” title. It is already outdated
by throwaway210426 6mo ago
Needs a “[November 2025]” title. It is already outdated
- suddenlybananas 6mo agoWhy?
- throwaway210426 6mo agoIt was silly at the time but even sillier now (eg see other comment on Erdos 1196)