Is my proof for all these statements are equivalent correct?
49453
Why do I have to solve for $x$ in this proof, if I choose not to find a counterexample?
46613
What's the difference between $\equiv$ and $\leftrightarrow$ in a formal proof?
49409
Are all of the following statements equivalent? (vectors and matrices)
106799
Proof Verification: Converse of Intermediate Value Theorem
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
21035
Clarifying on how if p,q is logically equivalent to p only if q
134120
Prove statement with a counter-example: For all sets S, T and V, V ∪ (S ∩ T) = (V ∪ S) ∩ T is false
122663
Proving $T$ and $U$ are equal if I know $(X,T)$ and $(X,U)$ are hausdorff and compact
34045
3 Statements of axiom of choice are equivalent
115460
Proving $a\mid b^2,\,b^2\mid a^3,\,a^3\mid b^4,\ldots\implies a=b$ - why is my approach incorrect
108367
proving tautologically equivalent
137494
Why is "If ψ ∈ Γ then the sequent (Γ ⊢ ψ) is correct" true?
66548
proving topological equivalence
28021
Showing that these two definitions of $\gcd(a,b)$ are equivalent
20863
how do I prove this inequallity?
6535
Proof of for-all / there-exists "negation"?
10827
Writting a proof for $\lfloor 4x \rfloor = \lfloor x+1/4 \rfloor + \lfloor x+1/2 \rfloor + \lfloor x+3/4 \rfloor + \lfloor x \rfloor$