This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(analysis/inner_product_space/pi_L2): norms of basis vectors#19020
Closed
eric-wieser wants to merge 2 commits intomasterfrom eric-wieser/pi_L2-orthogonal
+90-8
