Theorem Set.image_sigmaMk_subset_sigma_left

Modification history