Theorem Set.iInter_univ

Modification history