numbers.v: Don't Qed Decision instances
Noticed from a compute_done
failure.
Also, use abstract
to still hide proof-irrelevant terms from computation.
Noticed from a compute_done
failure.
Also, use abstract
to still hide proof-irrelevant terms from computation.