Theorem subset_interior_div

Modification history