Theorem Set.inter_diff_assoc

Modification history