Theorem Cardinal.infinite_pigeonhole

Modification history