Theorem MeasureTheory.trim_eq_map

Modification history

2025-02-15 20:15

Mathlib/MeasureTheory/Measure/Trim.lean

feat: properties of condExpKernel and condDistrib (#21906)

Added MeasureTheory.trim_eq_map View on Github →