Естественное преобразование: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 22:
Это - одна из так называемых "[[Бесплатные теоремы|бесплатных теорем]]".
 
ЕстесственностьЕстественность всех параметрически полиморфных функций - это следствие [[Теорема Рейнольдса|теоремы Рейнольдса]].
 
 
== Литература ==