Commit 2025-09-30 20:08 bc68d1d7
View on Github →chore(Analysis/Distribution/SchwartzMap): correct a definition and add two lemmas (#29818)
Fix the definition of mkCLM to allow for linear maps that are only defined on the Schwartz space. Also add two apply lemmas that were missing.