Smoothing topological pseudo-isotopies of 4-manifolds | Synapse