Exercise 8.5.7.10 (Inverses of Dyadic Homeomorphisms). Let $s,t \geq 0$ be dyadic rational numbers and let $f: [0,s] \xrightarrow {\sim } [0,t]$ be a dyadic homeomorphism. Show that the inverse homeomorphism $f^{-1}: [0,t] \xrightarrow {\sim } [0,s]$ is also dyadic.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$