Commit 2024-03-04 19:37 8a0b321a

refactor: move material about the Dominated Convergence Theorem into one file (#11139) Suggested by @loefflerd. Only code motion (and cosmetic adaptions, such as minimising import and open statements). Pre-requisite for #11108 and (morally) #11110.