Theorem Dense.inter_of_isOpen_right

Modification history