Loading But wait! How to prove type is not equal?

Draft

Loading But wait! How to prove type is not equal?

Draft

But wait! How to prove type is not equal?

Loading description...

Fundamentals
Theorem Proving
Your output will be shown here