Theorem interior_empty

Modification history