Theorem MeasurableEmbedding.comap_restrict

Modification history