Commit 2025-12-30 18:05 7e22bd7e
View on Github →feat(Analysis/TemperedDistribution): multiplication with temperate growth functions (#32769) The multiplication with a temperate growth function as a continuous linear map on tempered distributions.
feat(Analysis/TemperedDistribution): multiplication with temperate growth functions (#32769) The multiplication with a temperate growth function as a continuous linear map on tempered distributions.