Theorem Set.ite_diff_self

Modification history