Theorem subset_mul_closure_one

Modification history