Def ContinuousMap.evalStarAlgHom

Modification history

2024-11-04 13:07
Mathlib/Topology/ContinuousMap/Algebra.lean
chore: split Topology/ContinuousMap/Algebra (#18604) …
Modified ContinuousMap.evalStarAlgHomView on Github →
2024-05-29 16:56
Mathlib/Topology/ContinuousFunction/Algebra.lean
feat: the non-unital star subalgebra generated by `id` is dense in `C(s, 𝕜)₀` (#13326) …
Added ContinuousMap.evalStarAlgHomView on Github →