proregular adjective1 •Having the property that the inverse systems of the Koszul cohomology modules satisfy the Inverse limit#Mittag-Leffler condition.)
