Theorem Set.restrict_ite

Modification history