Theorem Counterexample.SorgenfreyLine.not_separatedNhds_rat_irrational_antidiag

Modification history