Topological Hopf property (source code)

= Topological Hopf property

A topological group has the topological Hopf property when every continuous surjective endomorphism is a topological automorphism.