Theorem Set.singleton_inter_eq_empty

Modification history