Theorem Measurable.eq

Modification history

2025-11-26 15:01

Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean

feat(MeasureTheory): typeclass for measurability of equality (#31512) …

Added Measurable.eq View on Github →