Up
–
coq-core
»
Nsatz_plugin
»
Ideal
» Monomial
Module
Ideal.Monomial
type
t
val
repr :
t
->
int array
val
make :
int array
->
t