Theorem Ordinal.preAleph_cof

Modification history