Dimension doubling theorem (source code)

= Dimension doubling theorem
{wiki=Dimension_doubling_theorem}