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.

Estimated changes