Commit 2026-06-21 19:56 7516f8d0
View on Github →chore: fix duplicated lemma (#40870) Reported on Zulip at [#mathlib4 > Redundant copy of `intervalIntegrable_const` @ 💬](https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Redundant.20copy.20of.20.60intervalIntegrable_const.60/near/605394633)