Исправление tyakos, 11.02.19 20:29 (текущая версия) :
На первый взгляд, это 6 строка определения, рассматривая (s' -> t) как просто элемент из T.
(s' -> t)
T
Ничего себе, целый год прошёл!
Исходная версия tyakos, 11.02.19 20:23: