`BookProof.EnergyBandDecomposition.measurableSet_band` [MeasurableSpace X] (hE : Measurable E) (ε : ℝ) (k : ℤ) : MeasurableSet (band E ε k)

Initializing...

`BookProof.EnergyBandDecomposition.measurableSet_band` [MeasurableSpace X] (hE : Measurable E) (ε : ℝ) (k : ℤ) : MeasurableSet (band E ε k) · Prove2Me