Todo list
From Maths
| Completed | Added | Statement |
|---|---|---|
| 5/3/2015 | Proof that a function is invertible [ilmath]\iff[/ilmath] it is one-to-one (Jech, Set Theory -p25) | |
| 5/3/2015 | Proof that [math]B^A[/math] - the set of all functions from [ilmath]A[/ilmath] into [ilmath]B[/ilmath] exists | |
| 10/6/2015 | That [ilmath](U\otimes V)\otimes W\cong U\otimes(V\otimes W)[/ilmath] | |
| 10/6/2015 | That [ilmath](U\oplus V)\otimes W\cong(U\otimes W)\oplus(V\otimes W)[/ilmath] |
TODO: Do these
