Theorem IsClosed.mk_lt_continuum

Modification history