Theorem mem_interior

Modification history