Adjective
proregular (not comparable) (mathematics) Having the property that the inverse systems of the Koszul cohomology modules satisfy the Inverse limit#Mittag-Leffler condition.)