Commit 2024-11-18 13:57 2f99cb3a
View on Github →chore: make sigma-algebra implicit in the Measure.map API (#19026)
This sigma-algebra can be inferred from context and will be filled in non-canonically in the context of Gibbs measures.
From GibbsMeasure