3622
правки
Изменения
м
→Решение
Return' = mu x . \ y . \ a b . (x y b a) <tex> \times </tex> (x y b a) <tex> \times </tex> b + (x y a a) <tex> \times </tex> (x y a a) <tex> \times </tex> (y x a)
Mice' = mu y . \ x . \ a . (y x a) <tex> \times </tex> (x y a a) | + (y x a) <tex> \times </tex> a
После этого пишем ответ:
