Theorem Ordinal.infinite_pigeonhole_card

Modification history