Commit 2025-12-03 18:10 4d397164

feat: generalize the pull-out property of the conditional expectation (#31666) This was stated for the product of two real functions only. This PR generalizes to an arbitrary bilinear map. The huge diff is because I moved it to a new file as it is not related to reals anymore.