Theorem Dense.interior_compl

Modification history