Fonctions Continues Nulle-part Dérivables

Énoncé

L'ensemble des fonctions continues nulle part dérivables est un {$G_{\delta}$} dense de {$C^0([0,1],\mathbb{R})$}, muni de la norme de la convergence uniforme.

Preuve

À faire