Up – rocq-runtime » Micromega_core_plugin » Micromega » N

Module `Micromega.N`

val of_nat : nat -> n