Oℕ
там для списков только доказывается
Size: a a a
2021 April 14
GP
там есть параграф 2 который объяснят ‘параметричность’ (параметрисити)
Oℕ
там же как раз ссылка на этот папир, что надо прочитать, если не читал
Oℕ
там весь папир про него
Oℕ
нужно все параграфы прочитать
Oℕ
первый тоже надо и последний
GP
можно забить на них
GP
ну для тлдр можно
GP
ну и у кмета есть пример пользования теоремой
GP
иногда над для тупых знаешь
Oℕ
Ну я думаю, что Юра понял, что слова авторов о том, что надо прочитать папир
Oℕ
вадлер максимально для тупых
Oℕ
разжёванее вадлера не бывает
Oℕ
Oℕ
у бартоша тоже есть разжёвывание ещё одно