Commit 2024-07-31 13:46 9610549d

fix(ContinuousFunctionalCalculus): generalize a section from Field R to Semifield R (#15351) This PR generalizes the section that proves that cfcₙ is equivalent to cfc to Semifield R from Field R. This is crucial because this needs to work for ℝ≥0.