Theorem Ordinal.isLimit_of_mem_frontier

Modification history