Proves spacetime positive mass theorem with corners.
problem Proving a positive mass theorem for spacetime with corners.
method Deformation theorem with corner conditions, asymptotically flat initial data.
result Exterior end satisfies in every dimension .