On prismatic de Rham crystals over smooth formal schemes.