Skip to content

make Z.of_nat not a Coercion any more

Ralf Jung requested to merge ci/ralf/Z_of_nat into master

Fixes stdpp#102

Merge request reports