Commit 2025-02-03 09:44 4eafc86e

View on Github →

(sub-)additivity of an addContent on a (semi-)ring of sets (#21036) <feat>(sub-)additivity of an addContent on a (semi-)ring of sets 2nd PR on the way to Caratheodorys extension theorem. Show monotonicity, additivity, and sub-additivity ↔ additivity (where mpr requires the content to be defined on a ring).

Estimated changes