Theorem Ordinal.mem_closed_iff_bsup

Modification history