Theorem MeasureTheory.restrict_dirac

Modification history