Theorem Set.sigma_preimage_left

Modification history