Def SchwartzMap.compCLMOfAntilipschitz

Modification history

2024-04-24 06:52

Mathlib/Analysis/Distribution/SchwartzSpace.lean

feat: more integrability statements for iterated derivatives of Schwartz functions (#12152)

Added SchwartzMap.compCLMOfAntilipschitz View on Github →