Commit 2024-04-25 13:52 29036be8
View on Github →feat: add absolutelyContinuous_zero_iff (#12399) Add lemma absolutelyContinuous_zero_iff to handle the case where a measure is absolutely continuous wrt 0.
feat: add absolutelyContinuous_zero_iff (#12399) Add lemma absolutelyContinuous_zero_iff to handle the case where a measure is absolutely continuous wrt 0.