Proof by exhaustion: Difference between revisions

Content deleted Content added
How many cases?: Sometimes there may be thousands or even millions.
Line 34:
 
== See also ==
* [[Computer-assisted proof]]
 
[[Category:Proofs]]