Theorem isClosed_interₛ

Modification history