Theorem Ordinal.CNF_fst_le_log

Modification history