Its impossible to ban mining.
Lol, its possible that what the op said is correct, and he didnt say theyre banning mining as a banning everyone in the world from mining, just Chinese. By the way, I dont think they banned Bitcoin, what they banned was ICO. So, I believe Chinese are still using bitcoin peacefully, including mining.
It isn't impossible dude. If you're reading a news that china is blocking the internet, vpn and other connection , you will believe that mining in china could also be stopped or banned. Mining need a connection, if they dont have a connection, there will be no mining. And yes they dont banned bitcoin ,but the goverments of china already stop bitcoin trading on Huobi, OkCoin BTCC etc. I don't think they're still use it peacefully.