Theorem Set.restrict_dite_compl

Modification history