Commit 2025-07-03 16:59 1ec99bd9
View on Github →chore(Analysis/InnerProductSpace/Adjoint): generalize orthogonal_ker and orthogonal_range (#26664)
This allows us to use orthogonal_ker and orthogonal_range for T : E →L[𝕜] F instead of T : E →L[𝕜] E.