Topologically mixing

Summary