Skip to content

coq: export opaque definition as opaque definition instead of as Lemma#1074

Closed
fblanqui wants to merge 1 commit intoDeducteam:masterfrom fblanqui:coq
+4-10

Commits