Theorem isClosed_const

Modification history