Отправить заново ссылку активации

в мероприятии Введение в Coq: формальные методы и зависимые типы, Часть II