Projectively extended real line

ID: projectively-extended-real-line

New to topics? Read the docs here!