Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.toContinuousMapOn_X_eq_restrict_id
Modification history
2024-05-29 16:56
Mathlib/Topology/ContinuousFunction/Polynomial.lean
feat: the non-unital star subalgebra generated by `id` is dense in `C(s, 𝕜)₀` (#13326) …
Added
Polynomial.toContinuousMapOn_X_eq_restrict_id
View on Github →