Theorem subset_interior_div_right

Modification history