Documentation

Mathlib.Algebra.Polynomial.Cardinal

Cardinality of Polynomial Ring #

The result in this file is that the cardinality of R[X] is at most the maximum of #R and ℵ₀.