Theorem Set.setOf_mem_eq

Modification history