weak_dual): generalize to weak topologies for arbitrary dualities (#12284)

Commit

3 years ago

feat(topology/algebra/weak_dual): generalize to weak topologies for arbitrary dualities (#12284)

Author

mcdoll

Parents