Theorem Dense.exists_mem_open

Modification history