Theorem MeasurableEmbedding.measurable_extend

Modification history