[X]): sub[X] of a topological [X] is itself a topological [X] (#10491)

Commit

4 years ago

feat(topology/algebra/[X]): sub[X] of a topological [X] is itself a topological [X] (#10491) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

ADedecker

Parents