Commit 2022-08-11 22:08 8cfa8363
View on Github →feat(analysis/inner_product_space/l2_space): if K
is a complete submodule then E
is the Hilbert sum of K
and Kᗮ
(#15792)
feat(analysis/inner_product_space/l2_space): if K
is a complete submodule then E
is the Hilbert sum of K
and Kᗮ
(#15792)