Theorem MeasureTheory.VectorMeasure.HasProd.flip

Modification history

2026-07-17 20:05

Mathlib/MeasureTheory/VectorMeasure/Prod.lean

feat: the product of vector measures (#41546)

Added MeasureTheory.VectorMeasure.HasProd.flip View on Github →