Skip to content

Ltac2: use preterm in exact / eexact #2249

Ltac2: use preterm in exact / eexact

Ltac2: use preterm in exact / eexact #2249

The logs for this run have expired and are no longer available.