Theorem interior_univ

Modification history