Theorem Set.inter_empty

Modification history