Theorem Set.iInter₂_comm

Modification history