Theorem Set.preimage_sigmaMap_sigma

Modification history