Theorem Set.inter_singleton_eq_empty

Modification history