Commit 2026-01-01 06:06 3bdc7047

View on Github →

chore(Analysis/SchwartzSpace): explicit variables for derivCLM and fderivCLM (#33415) The variables for the domain and codomain were implicit, but since the operators are bundled continuous linear maps, the typical convention is to make these variables explicit.

Estimated changes