Can you help me find a proof of the fact that the double branched cover over a slice disc is a rational homology ball?
There is an identical question on stackexchange, but I looked at the answer and it seems to me it relies on the fact that on the boundary, the double branched cover over a slice knot is a rational homology sphere, which is not clear to me either.