Theorem Ordinal.cof_ord_le

Modification history