Theorem Set.sigma_inter_sigma

Modification history