Theorem Ordinal.exists_lsub_cof

Modification history