Zulip Chat Archive
Stream: maths
Topic: Partial converse to König's lemma
Sky Wilshaw (Dec 14 2023 at 10:42):
Does this partial converse to König's lemma on cardinals have a name (and is it in mathlib?)
(Oops, sent twice, my internet's going weird)
Last updated: May 02 2025 at 03:31 UTC