Additional theorems for (linear) algebra
Additional theorems for (linear) algebra

Additional theorems (in AV's mathbox) for:
* Associative algebras
* Univariate polynomials (including examples)
* The matrix algebra (esp. for matrices of dimension 0)
* Transpositions and permutation sign (for singletons)
* Some auxiliary theorems

metamath/set.mm,metamath/set.mm,metamath/set.mm