Theorem isClosed_closure

Modification history