Theorem MeasureTheory.AEEqFun.coeFn_const_eq'

Modification history

2026-06-03 07:58
Mathlib/MeasureTheory/Function/AEEqFun.lean
feat: missing small lemmas in measure theory, cleanup (#40106)
Added MeasureTheory.AEEqFun.coeFn_const_eq'View on Github →