Theorem MeasureTheory.MeasurePreserving.restrict_image_emb

Modification history