Développement : Théorème du point fixe de Brouwer par le lemme de Sperner

Détails/Enoncé :

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Autres années :

Versions :

Références utilisées dans les versions de ce développement :

Proofs from the book (Raisonnements divins en fr), Aigner, Ziegler (utilisée dans 9 versions au total)