A proof of the simple connectivity at infinity of Out F₄

From MaRDI portal