Theorem Set.sigma_subset_iff

Modification history