Yes, diffeomorphic spherical space forms are isometric. This famous result of Georges de Rham can be found in [de Rham, G. Complexes à automorphismes et homéomorphie différentiable. Ann. Inst. Fourier Grenoble 2 (1950), 51–67 (1951)]. The main tool is Reidemeister's torsion. For lens spaces the result was proved by W. Franz in 1935.