Ancestors

Written by Naïm Camille Favier on 2025-01-28 at 18:01

Wait, Kőnig's lemma is (classically) equivalent to Brouwer's fan theorem (Cantor space is compact)? That explains why you can prove it using Tychonoff's theorem!

(So many names...)

=> More informations about this toot | More toots from ncf@types.pl

Written by aramya on 2025-01-28 at 18:38

@ncf le théorème du ventilateur

=> More informations about this toot | More toots from aramya@pandasemi.co

Toot

Written by Naïm Camille Favier on 2025-01-28 at 18:43

@aramya de l'éventail, plutôt :)

=> More informations about this toot | More toots from ncf@types.pl

Descendants