Petrova LehotaPetrova Lehota is a village and municipality in Trenčín District in the Trenčín Region of north-western Slovakia.WWW petrovalehota.skHistoryIn historical records the village was first mentioned in 1346.PopulationIt has a population of people.