Theorem Set.mk_sigma_iff

Modification history