PR #11231: feat(measure_theory/function/lp_space): genera...

Stream: triage

[Random Issue Bot]

Today I chose PR 11231 for discussion!

feat(measure_theory/function/lp_space): generalize some integrable lemmas to mem_ℒp
Created by @Rémy Degenne (@RemyDegenne) on 2022-01-04
Labels: awaiting-author, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Rémy Degenne]

Thanks for the reminder random issue bot, but that PR is barely a month old :)
I'll update it soon.