Theorem Set.ite_univ

Modification history