Kholodnohirskyi District (Ukrainian: Холодногірський район) is an urban district of the city of Kharkiv, Ukraine, named after a neighborhood in the city Kholodna Hora. The district appeared sometime around 1930 when Ivano-Lysohirskyi District was renamed into Leninskyi District. In 2016 it was renamed into Kholodnohirskyi to comply with decommunization laws. From Wikipedia
