Theorem Set.forall_sigma_iff

Modification history