Theorem Infinite.sigma_of_right

Modification history

2024-07-31 21:06
Mathlib/Data/Fintype/Card.lean
feat(Order/KonigLemma): Kőnig's infinity lemma (#12273) …
Added Infinite.sigma_of_rightView on Github →