Theorem dense_interᵢ_of_open

Modification history