0зной
2ответ
Преобразование свободных переменных связанных переменных
4зной
1ответ
типа объединения Isabelle/вывод ошибка
0зной
1ответ
Применение леммы к связанным переменным
0зной
2ответ
Изабель: понимание использования кванторов
2зной
1ответ
Индуктивный предикат с параметрами типа в Isabelle