The binomial theorem for univariate polynomials
The binomial theorem for univariate polynomials

AV's Mathbox:
* Group multiple (exponentiation) of a scalar multiplication in an associative algebra
* The binomial theorem for univariate polynomials

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