Module Mfourier.Proof
val mk_proof : Polynomial.cstr list -> proof -> (Vect.t * Polynomial.cstr) listval add_op : Polynomial.op -> Polynomial.op -> Polynomial.op
Mfourier.Proofval mk_proof : Polynomial.cstr list -> proof -> (Vect.t * Polynomial.cstr) listval add_op : Polynomial.op -> Polynomial.op -> Polynomial.op