Theorem Ordinal.mem_closure_iff_bsup

Modification history