Mathlib Changelog
v4
Changelog
About
Github
Theorem
Cardinal.infinite_pigeonhole
Modification history
2025-03-11 00:25
Mathlib/SetTheory/Cardinal/Pigeonhole.lean
chore(SetTheory/Cardinal/Cofinality): split file (#21972) …
Added
Cardinal.infinite_pigeonhole
View on Github →