Up – coq-core » Micromega_plugin » Micromega » N

Module `Micromega.N`

val of_nat : nat -> n