Theorem TestFunction.toBoundedContinuousFunctionCLM_eq_of_scalars

Modification history

2025-12-03 17:53
Mathlib/Analysis/Distribution/TestFunction.lean
feat: coercion to bounded continuous functions as a CLM on TestFunction (#32228) …
Added TestFunction.toBoundedContinuousFunctionCLM_eq_of_scalarsView on Github →