Theorem Set.exists_sigma_iff

Modification history