Theorem borel_eq_generateFrom_Icc

Modification history

2025-12-07 11:10

Mathlib/MeasureTheory/Constructions/BorelSpace/Order.lean

feat: ext criterion wrt Icc for measures (#32516) …

Added borel_eq_generateFrom_Icc View on Github →