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
.