Theorem MeasurableEmbedding.exists_stronglyMeasurable_extend

Modification history