Theorem Ordinal.nonempty_compl_range

Modification history