proregular

== English == === Etymology === From pro- +‎ regular. === Adjective === proregular (not comparable) (mathematics) Having the property that the inverse systems of the Koszul cohomology modules satisfy the Inverse limit#Mittag-Leffler condition.)