How would you define proof-by-exhaustion? Add your definition here.

comments powered by Disqus