Theorem Set.image_sigmaMk_subset_sigma_right

Modification history