https://123dok.net/document/q5mj8nwy-modulo-p-representations-reductive-adic-groups-functorial-properties.html