Chengqu, or Cheng District is a district of the city of Yangquan, Shanxi province, China. As of 2020, it had a population of 225,000 living in an area of 19.28 km². Wikipedia