| 14_1100-{ | hide text |
| 141214-165700: | Invertible polynomials. |
| 141214-152209: | Surjectivity of $\iota$. |
| 141214-144831: | gcd and lcm. |
| 141214-141653: | Extension of scalars. |
| 141124-155102: | The definition of $M\oplus N$. |
| 141121-135027: | Proof of the main theorem (2). |
| 141121-133553: | Proof of the main theorem. |
| 140924-155521: | Gaussian elimination done right. |
| } |