Proving $\arg(𝑧𝑤)=\arg(𝑧)+\arg(𝑤)$?
50250
Proving $\arg(zw)=\arg(z)+\arg(w)$
85770
What is the difference between ∀x(p(x) →q(x)) and ∀x(p(x) ∧q(x))?
79686
How can I prove these statements?
21250
Prove $x \equiv a \pmod{p}$ and $x \equiv a \pmod{q}$ then $x \equiv a\pmod{pq}$
145397
How to prove that for every $i$, $a_i = i$
48213
proving logical equivalence $(P \leftrightarrow Q) \equiv (P \wedge Q) \vee (\neg P \wedge \neg Q)$
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
46780
Proving $((a\bmod n) (b\bmod n))\bmod n = ab\bmod n $
27238
What's the right way to quote $(command $arg)?
102133
Prove: $\gcd(a,b) = \gcd(a, b + at)$.
110703
How Can I prove (a+b) mod m = (a mod m) + (b mod m)) mod m?
147120
How to exchange two arguments?
136427
Given $∃y.∀x.p(x,y)$, use the Fitch system to prove $∀x.∃y.p(x,y)$
15262
Prove $\exists \xi, \eta \in (0,1)$, such that $f(\xi)+f'(\eta)=\xi+\eta$.
32762
Proof for: $(a+b)^{p} \equiv a^p + b^p \pmod p$
5526
Prove that $ℤ[i]^*= \{1,-1,i,-i\}$
103441
Proving $(A\cup B)\cap(B\cup C)\cap(C\cup A)=(A\cap B)\cup (A\cap C)\cup (B\cap C)$?