Theorem dense_interᵢ_of_open_nat

Modification history