Theorem Ordinal.CNF_of_le_one

Modification history