Commit 2024-07-31 13:46 9610549d
View on Github →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
.