Theorem Set.restrict_dite

Modification history