Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
measure_theory.vector_measure.mutually_singular.add_right
Modification history
2023-02-12 08:45
src/measure_theory/measure/vector_measure.lean
refactor(measure_theory/measure/mutually_singular): use ⟂ PERPENDICULAR instead of ⊥ UP TACK (#18423) …
Modified
measure_theory.vector_measure.mutually_singular.add_right
View on Github →
2021-09-10 07:18
src/measure_theory/measure/vector_measure.lean
feat(measure_theory/measure/vector_measure): define mutually singular for vector measures (#8896)
Added
measure_theory.vector_measure.mutually_singular.add_right
View on Github →