Theorem LinearIsometryEquiv.integrable_comp_iff

Modification history

2024-04-24 06:52
Mathlib/MeasureTheory/Function/L1Space.lean
feat: more integrability statements for iterated derivatives of Schwartz functions (#12152)
Added LinearIsometryEquiv.integrable_comp_iffView on Github →