Commit 2022-05-23 08:30 aa6dc575
View on Github →chore(measure_theory/function/l1_space): drop integrable.sub' (#14309)
It used to have weaker TC assumptions than integrable.sub but now it's just a weaker version of it.
chore(measure_theory/function/l1_space): drop integrable.sub' (#14309)
It used to have weaker TC assumptions than integrable.sub but now it's just a weaker version of it.