Theorem Ordinal.le_cof_type

Modification history