Theorem Ordinal.CNF_foldr

Modification history