"Robertson and Tolman developed much of the mathematics of the expanding universe, but without concluding or predicting prior to 1930 that the universe actually expands. They were not discoverers or codiscoverers of the expanding universe (and never claimed that they were)."