Theorem isClosed_property3

Modification history