Commit 2025-02-27 18:07 46081ecb
View on Github →feat: a σ-additive content on a set ring is σ-subadditive (#22360) The result was already mentioned in the file docstring, but was not there. Part of the formalization of Kolmogorov's extension theorem.