Theorem Cardinal.infinite_pigeonhole_set

Modification history