Theorem MeasurableSpace.DynkinSystem.has_univ

Modification history