Cardinality of Polynomial Ring #
The reuslt in this file is that the cardinality of polynomial R
is at most the maximum
of #R
and ℵ₀
.
@[simp]
data.polynomial.cardinal
The reuslt in this file is that the cardinality of polynomial R
is at most the maximum
of #R
and ℵ₀
.