Theorem dense_sInter_of_open

Modification history