Theorem Ordinal.CNFRec_zero

Modification history