Theorem Set.inter_diff_right_comm

Modification history