Theorem Measurable.inner_const

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.inner_constView on Github →