Theorem Ordinal.CNF_lt_snd

Modification history