weak_dual): add a `t2_space` instance for the `weak_dual` (#16801)

Commit

3 years ago

feat(topology/algebra/module/weak_dual): add a `t2_space` instance for the `weak_dual` (#16801)

Author

j-loreaux

Parents