Hacker News new | ask | show | jobs
Projectively extended real line (en.wikipedia.org)
1 points by dnt404-1 3144 days ago