Commit 2022-02-19 18:23 e88badbf
View on Github →feat(analysis/inner_product_space/pi_L2): Orthonormal basis (#12060) Added the structure orthonormal_basis and basic associated API Renamed the previous definition orthonormal_basis in analysis/inner_product_space/projection to std_orthonormal_basis