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

comments powered by Disqus