projection): various facts about `orthogonal_projection` (#15807)

Commit

3 years ago

feat(analysis/inner_product_space/projection): various facts about `orthogonal_projection` (#15807)

Author

ADedecker

Parents