Theorem isClosed_of_spaced_out

Modification history