Commit 2024-10-17 02:29 65e1494f
View on Github →chore: make the measurability assumption be the first argument in lintegral_indicator (#17830)
... rather than f. Change integral_indicator and similar lemmas to match.
From GibbsMeasure
chore: make the measurability assumption be the first argument in lintegral_indicator (#17830)
... rather than f. Change integral_indicator and similar lemmas to match.
From GibbsMeasure