Theorem Ordinal.mem_closed_iff_sup

Modification history