Commit 2021-11-21 18:40 2168297e
View on Github →feat(analysis/inner_product_space/projection): orthogonal group is generated by reflections (#10381)
feat(analysis/inner_product_space/projection): orthogonal group is generated by reflections (#10381)