Theorem Set.sigma_preimage_eq

Modification history