Theorem Ordinal.infinite_pigeonhole_set

Modification history