Theorem IntervalIntegrable.comp_add_left_iff

Modification history

2026-02-25 17:28
Mathlib/MeasureTheory/Integral/IntervalIntegral/Basic.lean
feat: add congruence lemmas for integrability (#35086) …
Added IntervalIntegrable.comp_add_left_iffView on Github →