Theorem Ordinal.cof_type_le

Modification history