Commit 2024-04-23 17:27 add71750
View on Github →feat: When the symmetric difference has finite measure (#12370)
Add the following lemma: is s and t are two measurable sets such that s and s ∆ t have finite measures, then so does t.
feat: When the symmetric difference has finite measure (#12370)
Add the following lemma: is s and t are two measurable sets such that s and s ∆ t have finite measures, then so does t.