star_subalgebra): add basic theory for topological star subalgebras (#17183)

Commit

3 years ago

feat(topology/algebra/star_subalgebra): add basic theory for topological star subalgebras (#17183) - [x] depends on: #17136 - [x] depends on: #17000

Author

j-loreaux

Parents