Commit 2025-08-18 11:37 85598ed4
View on Github →feat(Analysis/NormedSpace/...): Algebra.IsCentral R (V →L[R] V) (#28209)
The center of continuous linear maps on a topological vector space with separating dual is trivial, in other words, it is a central algebra.