Theorem Distribution.mapCLM_apply

Modification history

2025-12-09 20:06
Mathlib/Analysis/Distribution/Distribution.lean
feat: define the space of distributions (#32353)
Added Distribution.mapCLM_applyView on Github →