Redshift-time relation (source code)

= Redshift-time relation

Differentiating $1+z=a_0/a(t)$ gives
$$
\frac{dz}{dt}=-(1+z)H(z).
$$