"Weyl published a third appendix to his Raum, Zeit, Materie, and an accompanying paper], where he calculated the redshift for the ‘de Sitter cosmology’,ds^2 = -dt^2 + e^{2{\sqrt{\frac{\Lambda}{3}t}}} (dx^2+dy^2+dz^2),the explicit form of which would only be found later, independently by Lemaître and Robertson."