Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.vector_measure.absolutely_continuous.smul

Modification history

2022-02-18 04:52
src/measure_theory/measure/vector_measure.lean
feat(topology/algebra): generalize `has_continuous_smul` arguments to `has_continuous_const_smul` (#11999) …
Modified measure_theory.vector_measure.absolutely_continuous.smulView on Github →
2021-09-09 00:00
src/measure_theory/measure/vector_measure.lean
feat(measure_theory/measure/vector_measure): add `absolutely_continuous.add` and `absolutely_continuous.smul` (#9086)
Added measure_theory.vector_measure.absolutely_continuous.smulView on Github →