Как мне доказать следующую бесплатную теорему с помощью плагина Paramcoq ? Lemma id_free (f :...
Как вывести бесплатную теорему для типа: data F a = C1 Nat | C2 Bool Nat a , где Nat - это просто...