Theorem subset_interior_mul_right

Modification history