Theorem Set.sigma_preimage_right

Modification history