Mathlib Changelog
v4
Changelog
About
Github
Theorem
exists_seq_covby_of_forall_covby_finite
Modification history
2024-07-31 21:06
Mathlib/Order/KonigLemma.lean
feat(Order/KonigLemma): Kőnig's infinity lemma (#12273) …
Added
exists_seq_covby_of_forall_covby_finite
View on Github →