basic): a hyperplane is either closed or dense (#16782)

Commit

3 years ago

feat(topology/algebra/module/basic): a hyperplane is either closed or dense (#16782)

Author

ADedecker

Parents