Theorem subset_mulTSupport

Modification history