Theorem isClosed_range_of_spaced_out

Modification history