gelfand_duality): realize the Gelfand transform as a `star_alg_equiv` (#17167)

Commit

3 years ago

feat(analysis/normed_space/star/gelfand_duality): realize the Gelfand transform as a `star_alg_equiv` (#17167)

Author

j-loreaux

Parents