к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
к теме вычислений. сегодня дошло, что "лобовое рассуждение" надо читать как "diagram chasing", то есть вместо него можно полтора* раза сослаться на 5-лемму.
доказательство стало понятнее, но длиннее на 77%. примерно как то самое "Гротендик упростил 80-страничную статью Серра, превратив ее в тысячестраничную EGA"
*как известно, 5-лемма состоит из двух 4-лемм. здесь надо два раза сослаться на первую и один раз на вторую
The regulator took order for the search and seizure operation from Judge Purushottam B Jadhav, Sebi Special Judge / Additional Sessions Judge. But the Ukraine Crisis Media Center's Tsekhanovska points out that communications are often down in zones most affected by the war, making this sort of cross-referencing a luxury many cannot afford. Two days after Russia invaded Ukraine, an account on the Telegram messaging platform posing as President Volodymyr Zelenskiy urged his armed forces to surrender. As the war in Ukraine rages, the messaging app Telegram has emerged as the go-to place for unfiltered live war updates for both Ukrainian refugees and increasingly isolated Russians alike. For example, WhatsApp restricted the number of times a user could forward something, and developed automated systems that detect and flag objectionable content.
from hk
