Computational Chemistry-Guided Syntheses and Crystal Structures of the Heavier Lanthanide Hydride Oxides DyHO, ErHO, and LuHO