Theorem Ordinal.CNF_zero

Modification history