A comparison between pro-$p$ Iwahori-Hecke modules and mod $p$ representations

We give an equivalence of categories between certain subcategories of modules of pro-$p$-Iwahori Hecke algebras and modulo $p$ representations.