The symplectic sum of Gompf and the symplectic cut of Lerman are known to be inverse of each other, in the sense that if you apply one of these first and the other one afterward, you obtain the original space with a symplectic structure which is homotopically equivalent to the starting one.
But is there an explicit proof of this available anywhere in the literature?
