Theorem interior_maximal

Modification history