Template:Characteristic p-functor property