How do I prove an equality by constructing a bijection
46132
Combinatorial interpretation for the identity $\sum\limits_i\binom{m}{i}\binom{n}{j-i}=\binom{m+n}{j}$?
127296
prove that a|b and b|a iff a=+-b
44100
Prove that identity element is unique
148731
Constructing a bijection between $[a,b)$ to $(0,1)$
31937
How do I prove equality of x and y?
4610
Proving an identity with a combinatorial proof: $\binom{n}{k}\binom{k}{r}=\binom{n}{r}\binom{n-r}{k-r}$
56623
Stuck trying to prove an inequality
36388
How to derive this Combinatorial identity
14277
Proving $f(x)=x\cdot |x|$ is a bijection
145397
How to prove that for every $i$, $a_i = i$
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
18046
Prove the following equality: $\sum_{k=0}^n\binom {n-k }{k} = F_n$
31391
bijection between $\mathbb{N}$ and $\mathbb{N}\times\mathbb{N}$
131933
On the usage of Java equality operator
154459
Constructing a HoTT proof term of 1≠0
39908
Finding the error in this proof that 1=2
131475
Example of the equality of an inequality