Theorem Set.inter_setOf_eq_sep

Modification history