Commit 2024-05-09 11:24 fcceeb1d

feat: BoundedSub class to generalize subtraction of bounded continuous functions. (#12559) Introduce type class BoundedSub, which allows to generalize subtraction of BoundedContinuousFunction to the case where the values are not necessarily in SeminormedAddGroup. The most important case for measure theory applications that is allowed by the generalization is bounded continuous functions with values in ℝ≥0.