Theorem Set.sigma_diff_sigma

Modification history