Theorem interior_inter

Modification history