Lava tubes on Mars and the Moon are so wide they can host planetary bases

The international journal Earth-Science Reviews published a paper offering an overview of lava tubes (pyroducts) on Earth, eventually providing an estimate of the (greater) size of their lunar and Martian counterparts.