Koszul Regular Defn

definition