Theorem Dense.inter_of_open_right

Modification history