Preservation of topological mixing under semiconjugacy

Relevant notes can be found here. This result is part of the course, but not included in the [HK] notes.