Theorem Ordinal.lt_cof_type

Modification history