mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(analysis/normed_space/star/gelfand_duality): functoriality of `character_space ℂ`

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

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

Open in Gitpod

j-loreaux avatar Oct 06 '22 14:10 j-loreaux