The 19th district was created as a result of the redistricting cycle after the 1980 census. From then until 1993, it was a Miami-based district; much of its territory is now the 25th district.
The 19th district was established as a consequence of redistricting following the 1980 census. From that point until 1993, it was a Miami-based district; much of its territory is now the 25th district.