Theorem MeasureTheory.restrict_dirac'

Modification history