algebra): precomposition with a homeomorphism as a `star_alg_equiv` (#17166)

Commit

3 years ago

feat(topology/continuous_function/algebra): precomposition with a homeomorphism as a `star_alg_equiv` (#17166)

Author

j-loreaux

Parents