I checked that they are homeomorphic via SnapPy. Although not as satisfying as a proof, at least it is a useful check.
Ian Agol
- 68.8k
- 3
- 194
- 358