Theorem subset_interior_smul_right

Modification history