Notice: file_put_contents(): Write of 980 bytes failed with errno=28 No space left on device in /var/www/group-telegram/post.php on line 50
Warning: file_put_contents(): Only 8192 of 9172 bytes written, possibly out of free disk space in /var/www/group-telegram/post.php on line 50 сладко стянул | Telegram Webview: sweet_homotopy/1954 -
к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
For tech stocks, “the main thing is yields,” Essaye said. Ukrainian forces successfully attacked Russian vehicles in the capital city of Kyiv thanks to a public tip made through the encrypted messaging app Telegram, Ukraine's top law-enforcement agency said on Tuesday. The message was not authentic, with the real Zelenskiy soon denying the claim on his official Telegram channel, but the incident highlighted a major problem: disinformation quickly spreads unchecked on the encrypted app. "Your messages about the movement of the enemy through the official chatbot … bring new trophies every day," the government agency tweeted. Ukrainian President Volodymyr Zelensky said in a video message on Tuesday that Ukrainian forces "destroy the invaders wherever we can."
from ye
