1 problem

Let $F\colon X\to X'$ be a homotopy equivalence of manifolds with torsion-free fundamental groups that restricts to a diffeomorphism on the boundary. Equip the boundaries with Riem…