Theorem naev

If some set variables can assume different values, then any two distinct set variables cannot always be the same. (Contributed by Wolf Lammen, 10-Aug-2019.)

Conclusion
\( \vdash \neg \forall x \, x = y' \rightarrow \neg \forall u \, u = v' \)
Proof
aev
con3i _