сообщать - Coq

Что не так с этим мгновением?

Электронная почта

Describe the problem