mathlib3

16274f60 - chore(analysis/inner_product_space/lax_milgram): docs fixes (#11745)

chore(analysis/inner_product_space/lax_milgram): docs fixes (#11745) A couple of corrections, and a couple of additions of namespaces to docstrings so that they get hyperlinks when docgen is run.