Theorem Set.setOf_inter_eq_sep

Modification history