Alessandro Bruni

Sounds great, and thanks for the offer! I'll mention here my colleagues @ieva-itu and @carstenschuermann so they are in the loop. We'll start a pull request soon.

That would be very appreciated, of course I'd like to learn in the process if possible :) Could we do this together?

This is useful to have in robustmean, could you revive this and put it in the next release?

This restriction is preventing a general definition of composition of measurable functions. Here is a restricted definition that works for defining composition of random variables with real-valued functions, used in...

Sounds very good! I'll put an issue tracking this pull request, and you're welcome to ping me on that issue once you think it's the right time to add testing....

Referencing the discussion at https://github.com/jlaurens/synctex/pull/74#issuecomment-1972540164, which contains useful information about how to do the testing.

[Wikipedia](https://en.wikipedia.org/wiki/Lp_space#Lp_spaces_and_Lebesgue_integrals) uses the p-norm to define Lp spaces when `p` may be `+oo`, whereas for example [this reference](https://www.math.ucdavis.edu/~hunter/measure_theory/measure_notes_ch7.pdf) sticks to the definition that was previously in this PR. [Klenke](https://link.springer.com/book/10.1007/978-3-030-56402-5) also...

I looked at all instances, and, at least with the current code, the original version of `measure_addE` works more seamlessly than the proposed alternative.

It is now rebased on master and ready for a review @affeldt-aist One critical bit of this PR is the work on scaling operators, we should check that we are...

@affeldt-aist, after discussing this development with @jmmarulang, we think that this new definition of the power function is more cumbersome to work with than the one proposed in #1613, we...