Theorem Dense.inter_of_open_left

Modification history