Basis of a polynomial ring #
The monomials form a basis on R[X]
. To get the rank of a polynomial ring,
use this and Basis.mk_eq_rank
.
Instances For
@[simp]
The monomials form a basis on R[X]
. To get the rank of a polynomial ring,
use this and Basis.mk_eq_rank
.