$\mathbb{N}^{\mathbb{N}}$ é de Lindelöf
Segue de possuir base local enumerável.