Theorem Set.nmem_setOf_iff

Modification history