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: Dec 20 2023 at 11:08 UTC