Theorem Ordinal.mex_not_mem_range

Modification history