Commit 2026-09-03 15:14 9fed4fdf

chore(MeasureTheory/VectorMeasure): split long file Basic.lean (#43271) ... into 5 smaller files:

• Defs.lean (86 lines) - core definitions and coercions
• Basic.lean (413 lines) - basic API, algebraic structures, and Dirac measures
• Operations.lean (575 lines) - conversions, maps, restrictions, and trimming
• Order.lean (367 lines) - ordering, restricted inequalities, and signed-measure conversions
• Relations.lean (220 lines) - absolute continuity and mutual singularity