Theorem Set.inter_comm

Modification history