Développement : Densité des fonctions continues nulles part dérivables

Détails/Enoncé :

L'ensemble des fonctions continues nulles part dérivables est dense dans $C([0,1], R)$ munie de la norme infinie.

Autres années :

Versions :