Commit 2025-07-13 19:12 484928be

View on Github →

chore(Analysis/InnerProductSpace/Adjoint): remove additional hypothesis of completeness when finite (#27068)

Estimated changes