Theorem IntervalIntegrable.trans_iff

Modification history

2025-04-14 15:20

Mathlib/MeasureTheory/Integral/IntervalIntegral/Basic.lean

feat(IntervalIntegral): add `IntervalIntegrable.trans_iff` etc (#24009)

Added IntervalIntegrable.trans_iff View on Github →