Theorem Ordinal.CNF_snd_lt

Modification history