Module covers and the Green correspondence

ما اثبات می کنیم که القاء بلوک و نسخه متداول مکاتبات سبز سازگار با پوشش بلوک ها و پوشش های ماژول است.