Theorem Ordinal.mem_closure_tfae

Modification history