Positive mass theorem on manifolds admitting corners along a hypersurface | Synapse