YE
тебе понравилось?
Не оч
Size: a a a
2020 May 09
R
примем к сведению
YE
Все ещё хочу сидр
R
Все ещё хочу сидр
я купил сегодня
YE
@krivdathetriewe года мы с тобой пойдём на «давай поженимся»?
Oℕ
пипец эти гольферы ссрефлектовские вообще охуевают
Oℕ
ты такой сидишь там думаешь, как элегантнее своё говно на 500 строк написать
Oℕ
заходит такой чел, пишет доказательство теоремы сука в двадцать символов и такой "можно короче" ?
R
к вам применили стратегию разъеба
Oℕ
"тактику" ты хотел сказать?
Oℕ
Lemma seqxxx ls s : [seq e + s.+1 | e <- ls] = [seq e.+1 + s | e <- ls].
Proof. by apply/eq_map=>>/[rw addnS]. Qed.
можно короче?
R
ко мне применил бекразъебейшн
Oℕ
так хочется туда вбросить дмсола
R