Theorem Ordinal.CNF_of_lt

Modification history