Adds Multiplicative and Unital instance for Monomial n (= Sized Seq n Int)
Adds Multiplicative and Unital instance for Monomial n (= Sized Seq n Int)

konn/computational-algebra,konn/computational-algebra