Skip to content

coq export: use Require Import instead of Require Export #2365

coq export: use Require Import instead of Require Export

coq export: use Require Import instead of Require Export #2365