Numerical investigation of aquitard damage evolution and radon migration behavior induced by mining of underlying coal seams in coal-uranium overlapping areas | Synapse