mathlib
40247bd5 - feat(measure_theory/measure/vector_measure): add `vector_measure.trim` (#9169)

Commit

4 years ago

feat(measure_theory/measure/vector_measure): add `vector_measure.trim` (#9169)

Author

kex-y

kex-y

Parents

Loading