What tactic should I use to derive a contradiction from an absurd equality?

Let's say that I have H: 0 = 1 in scope. How can I use this to conclude False?

Solution

You should use the tactic discriminate.

How to do a deep comparison between 2 objects with lodash?
Cannot check equality for two-dim arrays of equatable tuples
How will Object's .equals and .hashCode will work for my classes?
Verifying all objects in a Kotlin collection match without overriding equals
Are == and != mutually dependent?
What's the difference between == and .equals in Scala?
How to treat missing & undefined properties as equivalent in Lodash's isEqualWith
Testing for equality between a uint8_t and an inverted uint8_t does not work as expected
What is the difference between "not ==" and "!="?
Override Equals method on records
Compare two tables in SQL and set an output column to 'True' if column values are equal
Comparing structs for equality without boxing
Why does == equality comparison between arrays not work?
several custom __eq__ for python classes in context of serialization
unittest - how to assert if the two possibly NaN values are equal
Why is (18446744073709551615 == -1) true?
Getting duplicated entries of interfaces in a Dictionary
Comparison between void pointers in C++
Having trouble with equals operator. Finishing with exit code 11
Pandas df.equals() returning False on identical dataframes?
How to implement the override methods of Equals and GetHashCode in a class that implements IProxyGenerationHook in Castle.Core?
How do I compare 2 elements (variable prices) in Cypress?
.NET combine hash codes insensitive to order
Why don't methods have reference equality?
`id` function in Python 2.7, `is` operator, object identity and user-defined methods
Understanding the details of equality in Python
No instance of (Eq ([a] -> [a])) when pattern matching a list of functions
How do I use "or" (|) operator in C# "object.equals"
Which equals operator (== vs ===) should be used in JavaScript comparisons?
Why `null >= 0 && null <= 0` but not `null == 0`?