Removing countable set in monotone proof

Printable View