Theorem isClosed_mulTSupport

Modification history