Revision as of 11:12, 30 May 2012 (view source) rosettacode>Ht mNo edit summary ← Older edit		Revision as of 11:13, 30 May 2012 (view source) rosettacode>Ht mNo edit summary Newer edit →
Line 195: -- 4.1. Disproof or proof by contradiction. -- -- To disprove even+~~odd≡even~~even≡odd we assume that even+~~odd≡even~~even≡odd and derive absurdity, -- i.e. uninhabited type. --

Proof: Difference between revisions

Proof (view source)