Theorem Ordinal.isClosed_iff_sup

Modification history