Friedmann-Lemaitre-Robertson-Walker cosmology