Todo list

Completed	Added	Statement
	5/3/2015	Proof that a function is invertible $\iff$ it is one-to-one (Jech, Set Theory -p25)
	5/3/2015	Proof that $$B^A$$ - the set of all functions from $A$ into $B$ exists
	10/6/2015	That $(U\otimes V)\otimes W\cong U\otimes(V\otimes W)$
	10/6/2015	That $(U\oplus V)\otimes W\cong(U\otimes W)\oplus(V\otimes W)$

---

TODO: Do these

---