Theorem Cardinal.infinite_pigeonhole_card

Modification history