Nearby in the stack

Every group retraction can be realized as a topological retraction · arXivDesk