Proving (-infinity, 0) is open

Printable View