Diff — Lebesgue measure

Revision #2283 → #2928 · back to history