Theorem Ordinal.le_cof_iff_lsub

Modification history