Functorial properties of pro-p-Iwahori cohomology - Karol Koziol (2020)