Let $\Lambda$ be an Artin algebra over a finite field $k$. Is there a standard reference for the fact that taking projective covers of simple $\Lambda$-modules commutes with finite Galois field extensions?