Merge pull request #83 from math-comp/semiring-monalg

Generalize some results in monalg to `nmodType` and `semiRingType`

Author: pi8027

.github/workflows/ci.yml

@@ -8,8 +8,6 @@ jobs:
     strategy:
       matrix:
         image:
-          - mathcomp/mathcomp:2.2.0-coq-8.20
-          - mathcomp/mathcomp:2.3.0-coq-8.20
           - mathcomp/mathcomp:2.4.0-coq-8.20
           - mathcomp/mathcomp:2.4.0-rocq-prover-9.0
           - mathcomp/mathcomp-dev:coq-8.20

coq-mathcomp-multinomials.opam

@@ -10,10 +10,10 @@ install: [make "install"]
 depends: [
   ("coq" {>= "8.20" & < "8.21~"}
   | "rocq-core" {>= "9.0"})
-  "coq-mathcomp-ssreflect" {>= "2.2"}
+  "coq-mathcomp-ssreflect" {>= "2.4"}
   "coq-mathcomp-algebra"
-  "coq-mathcomp-bigenough" {>= "1.0"}
-  "coq-mathcomp-finmap"    {>= "2.1"}
+  "coq-mathcomp-bigenough"
+  "coq-mathcomp-finmap"
 ]
 tags: [
   "keyword:multinomials"