Theorem interior_subset

Modification history