Theorem MeasurableSpace.DynkinSystem.ofMeasurableSpace_le_ofMeasurableSpace_iff

Modification history