Theorem Set.union_inter_cancel_left

Modification history