mathlib

da017070 - Make `vector_measure.coe_` lemmas protected