math-classes icon indicating copy to clipboard operation
math-classes copied to clipboard
verified publisher icon coq-community

Add Module instance for polynomials

Open tymmym opened this issue 7 years ago • 0 comments

Made poly_mult_cr function an instance of ScalarMult and added Module instance.

tymmym avatar Apr 10 '18 15:04 tymmym