 The quasi @-@ isometry properties of the history graph can be studied using subdivision rules . For instance , the history graph is quasi @-@ isometric to hyperbolic space exactly when the subdivision rule is conformal , as described in the combinatorial Riemann mapping theorem . 
