weak_dual): Add docstring (#15944)

Commit

3 years ago

docs(topology/*/weak_dual): Add docstring (#15944) The lemma `coe_fn_continuous` is hard to read with the lambda and without the domain and codomain.

Author

mcdoll

Parents