Theorem Set.preimage_image_sigmaMk_of_ne

Modification history