Commit 2023-11-10 12:09 c9afd27d
View on Github →chore(Analysis/InnerProductSpace): LinearMap.isAdjointPair_inner generalization to isROrC (#8309) I forgot in the previous PR (#8295) that there are two versions of the adjoint.
chore(Analysis/InnerProductSpace): LinearMap.isAdjointPair_inner generalization to isROrC (#8309) I forgot in the previous PR (#8295) that there are two versions of the adjoint.