Between the 1880s and 1900, Redlands' population grew to about 4,000 people. According to Census data, what is the population today?

asked by Ana Paulson in miscellaneous