Theorem interior_mono

Modification history