Theorem Ordinal.mem_closure_iff_sup

Modification history