Theorem Ordinal.ne_sup_iff_lt_sup

Modification history