Commit 2024-10-21 08:12 1fad8e46
View on Github →feat: the pi sigma-algebra is generated by projections (#17828) This is basically the definition, but it's not quite immediate. From GibbsMeasure
feat: the pi sigma-algebra is generated by projections (#17828) This is basically the definition, but it's not quite immediate. From GibbsMeasure