Commit 2024-07-18 04:27 966a472f
View on Github →feat(LpSpace/ContinuousCompMeasurePreserving): new file (#14500)
Prove that the composition of an L^p function
with a measure preserving continuous function
is continuous in both arguments.
feat(LpSpace/ContinuousCompMeasurePreserving): new file (#14500)
Prove that the composition of an L^p function
with a measure preserving continuous function
is continuous in both arguments.