Up
–
Index
»
djot
»
Djot_kernel
»
BinNat
»
N
» Private_NLcmProp
Module
N.Private_NLcmProp
val
lcm :
BinNums.coq_N
->
BinNums.coq_N
->
BinNums.coq_N