O bairro das Lavras velhas, desde 1792, já tinha esse nome conforme o mapa da Capitania de São Paulo01/01/1792