Theorem Measurable.const_inner

Modification history

2023-06-27 18:31
Mathlib/MeasureTheory/Function/SpecialFunctions/Inner.lean
feat(MeasureTheory): aesop rules for strong measurability + `measurability?` tactic (#5427) …
Added Measurable.const_innerView on Github →