Do not let `numbers` polute global namespace with `Qc` lemmas
This is a follow up of the discussion in !404 (comment 83592)
- We mostly consider
Qc
a detail of the implementation ofQp
. - The numbers file only
Import
sQcanon
, and does notExport
it. It is thus strange that we provide globalQc
lemmas. - The lemmas do not follow the module structure for
Nat
/Z
/etc used in !404 (merged) (but in the Coq stdlib they don't do that either...)