19:4319:43, 6 December 2023diffhist−324
Mazur manifold
simplify the introduction to focus on the definition. Add emphasis to Mazur manifolds being required to have simple handle decompositions - it was pointed out by Kirby and Ruberman that the old definition would simply be called a `contractible 4-manifold' in the literature, not a Mazur manifold.
19:4319:43, 6 December 2023diffhist−324
Mazur manifold
simplify the introduction to focus on the definition. Add emphasis to Mazur manifolds being required to have simple handle decompositions - it was pointed out by Kirby and Ruberman that the old definition would simply be called a `contractible 4-manifold' in the literature, not a Mazur manifold.