Theorem MeasurableEmbedding.exists_measurable_extend

Modification history