How to Prove that 0 = 2 Implies false in Coq

10 views

vlogize

7 days ago

How to Prove that 0 = 2 Implies false in Coq

How to Prove that 0 = 2 Implies false in Coq