Theorem MeasurableEquiv.image_symm

Modification history