mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(topology/continuous_function/algebra): functoriality of `C(⬝, A)` into star algebras.

Open j-loreaux opened this issue 3 years ago • 0 comments

This is one of the two functors involved in Gelfand duality.

Open in Gitpod

j-loreaux avatar Oct 05 '22 15:10 j-loreaux