Theorem Set.image_sigmaMk_preimage_sigmaMap

Modification history