How would you define punctured-interval? Add your definition here.

comments powered by Disqus