Theorem Ordinal.ord_cof_le

Modification history