Theorem subset_interior_smul

Modification history